Formal software development :

QR koda

Formal software development : From VDM to Java

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Charatan, Quentin
Format:	Knjiga
Jezik:	Undetermined
Izdano:	New York Palgrave Macmillan 2004
Teme:	Java (Computer program language)
Oznake:	Označite Brez oznak, prvi označite!

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

Podobne knjige/članki

Developing Java software /
od: Winder, Russell.
Izdano: (2000)

Software engineering with Java /
od: Schach, Stephen R.
Izdano: (1997)

Modern software development using Java
od: Tymann, Paul T.
Izdano: (2008)

Modern software development using Java
od: Paul T. Tymann
Izdano: (2008)

Software development :
od: Brugali, Davide
Izdano: (2005)

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

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

Software engineering with Java
od: Stephen R Schach
Izdano: (1997)

Java Software structures :
od: Lewis, John
Izdano: (2004)

Software design and development (teacher CD- ROM) :
od: Wilson, Carole
Izdano: (2001)

Java software solutions :
od: Lewis, John
Izdano: (2005)

Java software solutions :
od: Lewis, John
Izdano: (2005)

Internet applications development
od: Anand, Bhojan

Distributed Java platform database development
od: Stewart Birnam
Izdano: (2001)

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

Formal Methods and Software Engineering
Izdano: (2020)

Formal Methods and Software Engineering
Izdano: (2020)

Formal Aspects of Component Software
od: Bae, Kyungmin, et al.
Izdano: (2020)

Software Engineering and Formal Methods
od: Cimatti, Alessandro, et al.
Izdano: (2020)

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

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

Formal Approaches to Software Testing
Izdano: (2020)

Fundamentals of Java
od: Lambert

Object-oriented software engineering
od: Bruegge, Bernd
Izdano: (2010)

Java : first contact /
od: Garside, Roger, 1944-
Izdano: (1997)

Java programming projects : Activities workbook /
od: Sestak, John.
Izdano: (2001)

Object-Oriented software enginering :
od: Lethbridge, Timothy C.
Izdano: (2005)

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

Formal Methods and Software Engineering
od: Butler, Michael, et al.
Izdano: (2020)

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

Java elearning kit for dummies /
od: Mueller, John Paul.
Izdano: (2012)

Java programming : an IS perspective /
od: Harrington, Jan L.
Izdano: (1998)

Essential Java style : patterns for implementation /
od: Langr, Jeff.
Izdano: (2000)

Java programming : from the beginning /
od: King, K. N.
Izdano: (2000)

Java made simple /
od: McBride, P. K.
Izdano: (1997)

Formal Methods and Software Engineering
od: Duan, Zhenhua, et al.
Izdano: (2020)

Java 2 : the complete reference /
od: Naugton, Patrick.
Izdano: (1999)

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

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

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