Formal software development :

Mã QR

Formal software development : From VDM to Java

Đã lưu trong:

Chi tiết về thư mục
Tác giả chính:	Charatan, Quentin
Định dạng:	Sách
Ngôn ngữ:	Undetermined
Được phát hành:	New York Palgrave Macmillan 2004
Những chủ đề:	Java (Computer program language)
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

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

Những quyển sách tương tự

Developing Java software /
Bỡi: Winder, Russell.
Được phát hành: (2000)

Software engineering with Java /
Bỡi: Schach, Stephen R.
Được phát hành: (1997)

Modern software development using Java
Bỡi: Tymann, Paul T.
Được phát hành: (2008)

Modern software development using Java
Bỡi: Paul T. Tymann
Được phát hành: (2008)

Software development :
Bỡi: Brugali, Davide
Được phát hành: (2005)

Object-Oriented software enginering: Practical software development using UML and Java
Bỡi: Timothy C. Lethbridge
Được phát hành: (2001)

Java in Two Semesters. 4th ed.
Bỡi: Charatan, Quentin, et al.
Được phát hành: (2020)

Software engineering with Java
Bỡi: Stephen R Schach
Được phát hành: (1997)

Java Software structures :
Bỡi: Lewis, John
Được phát hành: (2004)

Software design and development (teacher CD- ROM) :
Bỡi: Wilson, Carole
Được phát hành: (2001)

Java software solutions :
Bỡi: Lewis, John
Được phát hành: (2005)

Java software solutions :
Bỡi: Lewis, John
Được phát hành: (2005)

Internet applications development
Bỡi: Anand, Bhojan

Distributed Java platform database development
Bỡi: Stewart Birnam
Được phát hành: (2001)

Formal Methods and Software Engineering
Được phát hành: (2020)

Formal Methods and Software Engineering
Được phát hành: (2020)

Java software solutions : foundations of program design /
Bỡi: Lewis, John, 1963-
Được phát hành: (2000)

Formal Aspects of Component Software
Bỡi: Bae, Kyungmin, et al.
Được phát hành: (2020)

Software Engineering and Formal Methods
Bỡi: Cimatti, Alessandro, et al.
Được phát hành: (2020)

Formal Aspects of Component Software
Bỡi: Proença, José, et al.
Được phát hành: (2020)

Software Engineering and Formal Methods
Bỡi: Johnsen, Einar Broch, et al.
Được phát hành: (2020)

Formal Approaches to Software Testing
Được phát hành: (2020)

Fundamentals of Java
Bỡi: Lambert

Java programming projects : Activities workbook /
Bỡi: Sestak, John.
Được phát hành: (2001)

Java : first contact /
Bỡi: Garside, Roger, 1944-
Được phát hành: (1997)

Object-oriented software engineering
Bỡi: Bruegge, Bernd
Được phát hành: (2010)

Formal Methods in Software and Systems Modeling
Được phát hành: (2020)

Object-Oriented software enginering :
Bỡi: Lethbridge, Timothy C.
Được phát hành: (2005)

Formal Methods and Software Engineering
Bỡi: Butler, Michael, et al.
Được phát hành: (2020)

Java programming basics for the Internet : for use with microsoft Visual J++ ver .1.1 /
Được phát hành: (1998)

Java elearning kit for dummies /
Bỡi: Mueller, John Paul.
Được phát hành: (2012)

Essential Java style : patterns for implementation /
Bỡi: Langr, Jeff.
Được phát hành: (2000)

Java programming : from the beginning /
Bỡi: King, K. N.
Được phát hành: (2000)

Java made simple /
Bỡi: McBride, P. K.
Được phát hành: (1997)

Java programming : an IS perspective /
Bỡi: Harrington, Jan L.
Được phát hành: (1998)

Formal Methods and Software Engineering
Bỡi: Duan, Zhenhua, et al.
Được phát hành: (2020)

Java 2 : the complete reference /
Bỡi: Naugton, Patrick.
Được phát hành: (1999)

Data structures and algorithms in Java
Bỡi: Goodrich, Michael T.

Software Engineering and Formal Methods
Bỡi: Cerone, Antonio, et al.
Được phát hành: (2020)

Java EE development with Eclipse : develop Java EE applications with Eclipse and commonly used technologies and frameworks
Bỡi: Vohra, Deepak
Được phát hành: (2015)