Formal software development :

kod QR

Formal software development : From VDM to Java

Zapisane w:

Opis bibliograficzny
1. autor:	Charatan, Quentin
Format:	Książka
Język:	Undetermined
Wydane:	New York Palgrave Macmillan 2004
Hasła przedmiotowe:	Java (Computer program language)
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!

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

Podobne zapisy

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

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

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

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

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

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

Java in Two Semesters. 4th ed.
od: Charatan, Quentin, i wsp.
Wydane: (2020)

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

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

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

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

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

Internet applications development
od: Anand, Bhojan

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

Formal Methods and Software Engineering
Wydane: (2020)

Formal Methods and Software Engineering
Wydane: (2020)

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

Formal Aspects of Component Software
od: Bae, Kyungmin, i wsp.
Wydane: (2020)

Software Engineering and Formal Methods
od: Cimatti, Alessandro, i wsp.
Wydane: (2020)

Formal Aspects of Component Software
od: Proença, José, i wsp.
Wydane: (2020)

Software Engineering and Formal Methods
od: Johnsen, Einar Broch, i wsp.
Wydane: (2020)

Formal Approaches to Software Testing
Wydane: (2020)

Fundamentals of Java
od: Lambert

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

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

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

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

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

Formal Methods and Software Engineering
od: Butler, Michael, i wsp.
Wydane: (2020)

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

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

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

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

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

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

Formal Methods and Software Engineering
od: Duan, Zhenhua, i wsp.
Wydane: (2020)

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

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

Software Engineering and Formal Methods
od: Cerone, Antonio, i wsp.
Wydane: (2020)

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