Formal software development :

Côd QR

Formal software development : From VDM to Java

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Charatan, Quentin
Fformat:	Llyfr
Iaith:	Undetermined
Cyhoeddwyd:	New York Palgrave Macmillan 2004
Pynciau:	Java (Computer program language)
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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

Eitemau Tebyg

Developing Java software /
gan: Winder, Russell.
Cyhoeddwyd: (2000)

Software engineering with Java /
gan: Schach, Stephen R.
Cyhoeddwyd: (1997)

Modern software development using Java
gan: Tymann, Paul T.
Cyhoeddwyd: (2008)

Modern software development using Java
gan: Paul T. Tymann
Cyhoeddwyd: (2008)

Software development :
gan: Brugali, Davide
Cyhoeddwyd: (2005)

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

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

Software engineering with Java
gan: Stephen R Schach
Cyhoeddwyd: (1997)

Java Software structures :
gan: Lewis, John
Cyhoeddwyd: (2004)

Software design and development (teacher CD- ROM) :
gan: Wilson, Carole
Cyhoeddwyd: (2001)

Java software solutions :
gan: Lewis, John
Cyhoeddwyd: (2005)

Java software solutions :
gan: Lewis, John
Cyhoeddwyd: (2005)

Internet applications development
gan: Anand, Bhojan

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

Distributed Java platform database development
gan: Stewart Birnam
Cyhoeddwyd: (2001)

Formal Methods and Software Engineering
Cyhoeddwyd: (2020)

Formal Methods and Software Engineering
Cyhoeddwyd: (2020)

Formal Aspects of Component Software
gan: Bae, Kyungmin, et al.
Cyhoeddwyd: (2020)

Software Engineering and Formal Methods
gan: Cimatti, Alessandro, et al.
Cyhoeddwyd: (2020)

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

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

Formal Approaches to Software Testing
Cyhoeddwyd: (2020)

Fundamentals of Java
gan: Lambert

Object-oriented software engineering
gan: Bruegge, Bernd
Cyhoeddwyd: (2010)

Java : first contact /
gan: Garside, Roger, 1944-
Cyhoeddwyd: (1997)

Java programming projects : Activities workbook /
gan: Sestak, John.
Cyhoeddwyd: (2001)

Object-Oriented software enginering :
gan: Lethbridge, Timothy C.
Cyhoeddwyd: (2005)

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

Formal Methods and Software Engineering
gan: Butler, Michael, et al.
Cyhoeddwyd: (2020)

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

Java elearning kit for dummies /
gan: Mueller, John Paul.
Cyhoeddwyd: (2012)

Java programming : an IS perspective /
gan: Harrington, Jan L.
Cyhoeddwyd: (1998)

Essential Java style : patterns for implementation /
gan: Langr, Jeff.
Cyhoeddwyd: (2000)

Java programming : from the beginning /
gan: King, K. N.
Cyhoeddwyd: (2000)

Java made simple /
gan: McBride, P. K.
Cyhoeddwyd: (1997)

Formal Methods and Software Engineering
gan: Duan, Zhenhua, et al.
Cyhoeddwyd: (2020)

Java 2 : the complete reference /
gan: Naugton, Patrick.
Cyhoeddwyd: (1999)

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

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

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