Formal software development :

Codi QR

Formal software development : From VDM to Java

Guardat en:

Dades bibliogràfiques
Autor principal:	Charatan, Quentin
Format:	Llibre
Idioma:	Undetermined
Publicat:	New York Palgrave Macmillan 2004
Matèries:	Java (Computer program language)
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

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

Ítems similars

Developing Java software /
per: Winder, Russell.
Publicat: (2000)

Software engineering with Java /
per: Schach, Stephen R.
Publicat: (1997)

Modern software development using Java
per: Tymann, Paul T.
Publicat: (2008)

Modern software development using Java
per: Paul T. Tymann
Publicat: (2008)

Software development :
per: Brugali, Davide
Publicat: (2005)

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

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

Software engineering with Java
per: Stephen R Schach
Publicat: (1997)

Java Software structures :
per: Lewis, John
Publicat: (2004)

Software design and development (teacher CD- ROM) :
per: Wilson, Carole
Publicat: (2001)

Java software solutions :
per: Lewis, John
Publicat: (2005)

Java software solutions :
per: Lewis, John
Publicat: (2005)

Internet applications development
per: Anand, Bhojan

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

Distributed Java platform database development
per: Stewart Birnam
Publicat: (2001)

Formal Methods and Software Engineering
Publicat: (2020)

Formal Methods and Software Engineering
Publicat: (2020)

Formal Aspects of Component Software
per: Bae, Kyungmin, et al.
Publicat: (2020)

Software Engineering and Formal Methods
per: Cimatti, Alessandro, et al.
Publicat: (2020)

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

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

Formal Approaches to Software Testing
Publicat: (2020)

Fundamentals of Java
per: Lambert

Object-oriented software engineering
per: Bruegge, Bernd
Publicat: (2010)

Java : first contact /
per: Garside, Roger, 1944-
Publicat: (1997)

Java programming projects : Activities workbook /
per: Sestak, John.
Publicat: (2001)

Object-Oriented software enginering :
per: Lethbridge, Timothy C.
Publicat: (2005)

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

Formal Methods and Software Engineering
per: Butler, Michael, et al.
Publicat: (2020)

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

Java elearning kit for dummies /
per: Mueller, John Paul.
Publicat: (2012)

Java programming : an IS perspective /
per: Harrington, Jan L.
Publicat: (1998)

Essential Java style : patterns for implementation /
per: Langr, Jeff.
Publicat: (2000)

Java programming : from the beginning /
per: King, K. N.
Publicat: (2000)

Java made simple /
per: McBride, P. K.
Publicat: (1997)

Formal Methods and Software Engineering
per: Duan, Zhenhua, et al.
Publicat: (2020)

Java 2 : the complete reference /
per: Naugton, Patrick.
Publicat: (1999)

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

An introduction to Java programming : Developing applets using Microsoft Visual J++ /
per: Stoker, Carol.
Publicat: (1998)

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