Formal software development :

QR Kodea

Formal software development : From VDM to Java

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Charatan, Quentin
Formatua:	Liburua
Hizkuntza:	Undetermined
Argitaratua:	New York Palgrave Macmillan 2004
Gaiak:	Java (Computer program language)
Etiketak:	Etiketa erantsi Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!

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

Antzeko izenburuak

Developing Java software /
nork: Winder, Russell.
Argitaratua: (2000)

Software engineering with Java /
nork: Schach, Stephen R.
Argitaratua: (1997)

Modern software development using Java
nork: Tymann, Paul T.
Argitaratua: (2008)

Modern software development using Java
nork: Paul T. Tymann
Argitaratua: (2008)

Software development :
nork: Brugali, Davide
Argitaratua: (2005)

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

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

Software engineering with Java
nork: Stephen R Schach
Argitaratua: (1997)

Java Software structures :
nork: Lewis, John
Argitaratua: (2004)

Software design and development (teacher CD- ROM) :
nork: Wilson, Carole
Argitaratua: (2001)

Java software solutions :
nork: Lewis, John
Argitaratua: (2005)

Java software solutions :
nork: Lewis, John
Argitaratua: (2005)

Internet applications development
nork: Anand, Bhojan

Distributed Java platform database development
nork: Stewart Birnam
Argitaratua: (2001)

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

Formal Methods and Software Engineering
Argitaratua: (2020)

Formal Methods and Software Engineering
Argitaratua: (2020)

Formal Aspects of Component Software
nork: Bae, Kyungmin, et al.
Argitaratua: (2020)

Software Engineering and Formal Methods
nork: Cimatti, Alessandro, et al.
Argitaratua: (2020)

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

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

Formal Approaches to Software Testing
Argitaratua: (2020)

Fundamentals of Java
nork: Lambert

Object-oriented software engineering
nork: Bruegge, Bernd
Argitaratua: (2010)

Java : first contact /
nork: Garside, Roger, 1944-
Argitaratua: (1997)

Java programming projects : Activities workbook /
nork: Sestak, John.
Argitaratua: (2001)

Object-Oriented software enginering :
nork: Lethbridge, Timothy C.
Argitaratua: (2005)

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

Formal Methods and Software Engineering
nork: Butler, Michael, et al.
Argitaratua: (2020)

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

Java elearning kit for dummies /
nork: Mueller, John Paul.
Argitaratua: (2012)

Java programming : an IS perspective /
nork: Harrington, Jan L.
Argitaratua: (1998)

Essential Java style : patterns for implementation /
nork: Langr, Jeff.
Argitaratua: (2000)

Java programming : from the beginning /
nork: King, K. N.
Argitaratua: (2000)

Java made simple /
nork: McBride, P. K.
Argitaratua: (1997)

Formal Methods and Software Engineering
nork: Duan, Zhenhua, et al.
Argitaratua: (2020)

Java 2 : the complete reference /
nork: Naugton, Patrick.
Argitaratua: (1999)

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

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

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

Notice: fwrite(): write of 697 bytes failed with errno=28 No space left on device in C:\vufind\module\VuFind\src\VuFind\Session\File.php on line 152
Cannot write session to C:\Windows\TEMP\vufind_sessions/sess_ch6bpmriier7v84aqn4qb7jffi
Warning: session_write_close(): Failed to write session data using user defined save handler. (session.save_path: \xampp\tmp) in C:\vufind\vendor\laminas\laminas-session\src\SessionManager.php on line 235