Formal software development :

QRコード

Formal software development : From VDM to Java

保存先:

書誌詳細
第一著者:	Charatan, Quentin
フォーマット:	図書
言語:	Undetermined
出版事項:	New York Palgrave Macmillan 2004
主題:	Java (Computer program language)
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

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

類似資料

Developing Java software /
著者:: Winder, Russell.
出版事項: (2000)

Software engineering with Java /
著者:: Schach, Stephen R.
出版事項: (1997)

Modern software development using Java
著者:: Tymann, Paul T.
出版事項: (2008)

Modern software development using Java
著者:: Paul T. Tymann
出版事項: (2008)

Software development :
著者:: Brugali, Davide
出版事項: (2005)

Object-Oriented software enginering: Practical software development using UML and Java
著者:: Timothy C. Lethbridge
出版事項: (2001)

Java in Two Semesters. 4th ed.
著者:: Charatan, Quentin, 等
出版事項: (2020)

Software engineering with Java
著者:: Stephen R Schach
出版事項: (1997)

Java Software structures :
著者:: Lewis, John
出版事項: (2004)

Software design and development (teacher CD- ROM) :
著者:: Wilson, Carole
出版事項: (2001)

Java software solutions :
著者:: Lewis, John
出版事項: (2005)

Java software solutions :
著者:: Lewis, John
出版事項: (2005)

Internet applications development
著者:: Anand, Bhojan

Java software solutions : foundations of program design /
著者:: Lewis, John, 1963-
出版事項: (2000)

Distributed Java platform database development
著者:: Stewart Birnam
出版事項: (2001)

Formal Methods and Software Engineering
出版事項: (2020)

Formal Methods and Software Engineering
出版事項: (2020)

Formal Aspects of Component Software
著者:: Bae, Kyungmin, 等
出版事項: (2020)

Software Engineering and Formal Methods
著者:: Cimatti, Alessandro, 等
出版事項: (2020)

Formal Aspects of Component Software
著者:: Proença, José, 等
出版事項: (2020)

Software Engineering and Formal Methods
著者:: Johnsen, Einar Broch, 等
出版事項: (2020)

Formal Approaches to Software Testing
出版事項: (2020)

Fundamentals of Java
著者:: Lambert

Object-oriented software engineering
著者:: Bruegge, Bernd
出版事項: (2010)

Java : first contact /
著者:: Garside, Roger, 1944-
出版事項: (1997)

Java programming projects : Activities workbook /
著者:: Sestak, John.
出版事項: (2001)

Object-Oriented software enginering :
著者:: Lethbridge, Timothy C.
出版事項: (2005)

Formal Methods in Software and Systems Modeling
出版事項: (2020)

Formal Methods and Software Engineering
著者:: Butler, Michael, 等
出版事項: (2020)

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

Java elearning kit for dummies /
著者:: Mueller, John Paul.
出版事項: (2012)

Java programming : an IS perspective /
著者:: Harrington, Jan L.
出版事項: (1998)

Essential Java style : patterns for implementation /
著者:: Langr, Jeff.
出版事項: (2000)

Java programming : from the beginning /
著者:: King, K. N.
出版事項: (2000)

Java made simple /
著者:: McBride, P. K.
出版事項: (1997)

Formal Methods and Software Engineering
著者:: Duan, Zhenhua, 等
出版事項: (2020)

Java 2 : the complete reference /
著者:: Naugton, Patrick.
出版事項: (1999)

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

An introduction to Java programming : Developing applets using Microsoft Visual J++ /
著者:: Stoker, Carol.
出版事項: (1998)

Java EE development with Eclipse : develop Java EE applications with Eclipse and commonly used technologies and frameworks
著者:: Vohra, Deepak
出版事項: (2015)