Formal software development :

Codice QR

Formal software development : From VDM to Java

Salvato in:

Dettagli Bibliografici
Autore principale:	Charatan, Quentin
Natura:	Libro
Lingua:	Undetermined
Pubblicazione:	New York Palgrave Macmillan 2004
Soggetti:	Java (Computer program language)
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne! !

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

Documenti analoghi

Developing Java software /
di: Winder, Russell.
Pubblicazione: (2000)

Software engineering with Java /
di: Schach, Stephen R.
Pubblicazione: (1997)

Modern software development using Java
di: Tymann, Paul T.
Pubblicazione: (2008)

Modern software development using Java
di: Paul T. Tymann
Pubblicazione: (2008)

Software development :
di: Brugali, Davide
Pubblicazione: (2005)

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

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

Software engineering with Java
di: Stephen R Schach
Pubblicazione: (1997)

Java Software structures :
di: Lewis, John
Pubblicazione: (2004)

Software design and development (teacher CD- ROM) :
di: Wilson, Carole
Pubblicazione: (2001)

Java software solutions :
di: Lewis, John
Pubblicazione: (2005)

Java software solutions :
di: Lewis, John
Pubblicazione: (2005)

Internet applications development
di: Anand, Bhojan

Distributed Java platform database development
di: Stewart Birnam
Pubblicazione: (2001)

Formal Methods and Software Engineering
Pubblicazione: (2020)

Formal Methods and Software Engineering
Pubblicazione: (2020)

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

Formal Aspects of Component Software
di: Bae, Kyungmin, et al.
Pubblicazione: (2020)

Software Engineering and Formal Methods
di: Cimatti, Alessandro, et al.
Pubblicazione: (2020)

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

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

Formal Approaches to Software Testing
Pubblicazione: (2020)

Fundamentals of Java
di: Lambert

Java programming projects : Activities workbook /
di: Sestak, John.
Pubblicazione: (2001)

Java : first contact /
di: Garside, Roger, 1944-
Pubblicazione: (1997)

Object-oriented software engineering
di: Bruegge, Bernd
Pubblicazione: (2010)

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

Object-Oriented software enginering :
di: Lethbridge, Timothy C.
Pubblicazione: (2005)

Formal Methods and Software Engineering
di: Butler, Michael, et al.
Pubblicazione: (2020)

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

Java elearning kit for dummies /
di: Mueller, John Paul.
Pubblicazione: (2012)

Essential Java style : patterns for implementation /
di: Langr, Jeff.
Pubblicazione: (2000)

Java programming : from the beginning /
di: King, K. N.
Pubblicazione: (2000)

Java made simple /
di: McBride, P. K.
Pubblicazione: (1997)

Java programming : an IS perspective /
di: Harrington, Jan L.
Pubblicazione: (1998)

Formal Methods and Software Engineering
di: Duan, Zhenhua, et al.
Pubblicazione: (2020)

Java 2 : the complete reference /
di: Naugton, Patrick.
Pubblicazione: (1999)

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

Software Engineering and Formal Methods
di: Cerone, Antonio, et al.
Pubblicazione: (2020)

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