Formal software development :

QR-kod

Formal software development : From VDM to Java

Sparad:

Bibliografiska uppgifter
Huvudupphovsman:	Charatan, Quentin
Materialtyp:	Bok
Språk:	Undetermined
Publicerad:	New York Palgrave Macmillan 2004
Ämnen:	Java (Computer program language)
Taggar:	Lägg till en tagg Inga taggar, Lägg till första taggen!

Thư viện lưu trữ:	Trung tâm Học liệu Trường Đại học Cần Thơ

Liknande verk

Developing Java software /
av: Winder, Russell.
Publicerad: (2000)

Software engineering with Java /
av: Schach, Stephen R.
Publicerad: (1997)

Modern software development using Java
av: Tymann, Paul T.
Publicerad: (2008)

Modern software development using Java
av: Paul T. Tymann
Publicerad: (2008)

Software development :
av: Brugali, Davide
Publicerad: (2005)

Object-Oriented software enginering: Practical software development using UML and Java
av: Timothy C. Lethbridge
Publicerad: (2001)

Java in Two Semesters. 4th ed.
av: Charatan, Quentin, et al.
Publicerad: (2020)

Software engineering with Java
av: Stephen R Schach
Publicerad: (1997)

Java Software structures :
av: Lewis, John
Publicerad: (2004)

Software design and development (teacher CD- ROM) :
av: Wilson, Carole
Publicerad: (2001)

Java software solutions :
av: Lewis, John
Publicerad: (2005)

Java software solutions :
av: Lewis, John
Publicerad: (2005)

Internet applications development
av: Anand, Bhojan

Distributed Java platform database development
av: Stewart Birnam
Publicerad: (2001)

Formal Methods and Software Engineering
Publicerad: (2020)

Formal Methods and Software Engineering
Publicerad: (2020)

Java software solutions : foundations of program design /
av: Lewis, John, 1963-
Publicerad: (2000)

Formal Aspects of Component Software
av: Bae, Kyungmin, et al.
Publicerad: (2020)

Software Engineering and Formal Methods
av: Cimatti, Alessandro, et al.
Publicerad: (2020)

Formal Aspects of Component Software
av: Proença, José, et al.
Publicerad: (2020)

Software Engineering and Formal Methods
av: Johnsen, Einar Broch, et al.
Publicerad: (2020)

Formal Approaches to Software Testing
Publicerad: (2020)

Fundamentals of Java
av: Lambert

Java programming projects : Activities workbook /
av: Sestak, John.
Publicerad: (2001)

Java : first contact /
av: Garside, Roger, 1944-
Publicerad: (1997)

Object-oriented software engineering
av: Bruegge, Bernd
Publicerad: (2010)

Formal Methods in Software and Systems Modeling
Publicerad: (2020)

Object-Oriented software enginering :
av: Lethbridge, Timothy C.
Publicerad: (2005)

Formal Methods and Software Engineering
av: Butler, Michael, et al.
Publicerad: (2020)

Java programming basics for the Internet : for use with microsoft Visual J++ ver .1.1 /
Publicerad: (1998)

Java elearning kit for dummies /
av: Mueller, John Paul.
Publicerad: (2012)

Essential Java style : patterns for implementation /
av: Langr, Jeff.
Publicerad: (2000)

Java programming : from the beginning /
av: King, K. N.
Publicerad: (2000)

Java made simple /
av: McBride, P. K.
Publicerad: (1997)

Java programming : an IS perspective /
av: Harrington, Jan L.
Publicerad: (1998)

Formal Methods and Software Engineering
av: Duan, Zhenhua, et al.
Publicerad: (2020)

Java 2 : the complete reference /
av: Naugton, Patrick.
Publicerad: (1999)

Data structures and algorithms in Java
av: Goodrich, Michael T.

Software Engineering and Formal Methods
av: Cerone, Antonio, et al.
Publicerad: (2020)

Java EE development with Eclipse : develop Java EE applications with Eclipse and commonly used technologies and frameworks
av: Vohra, Deepak
Publicerad: (2015)