1Understanding formal methods
書目-語言資料,印刷品:單行本
作者：MoninJean Fran蓽is (1960-),Hinchey, Michael G. (1969-)
出版資料:London Springer c2003
ISBN/ISSN:1852332476
館藏量 (1) 館藏可借數量 (1)
2Formal software development:...
書目-語言資料,印刷品:單行本
作者：Kans, Aaron,Charatan, Quentin
出版資料:Basingstoke Palgrave Macmillan 2003
ISBN/ISSN:0333992814
館藏量 (1) 館藏可借數量 (1)
3Validated designs for object...
書目-語言資料,印刷品:單行本
作者：Fitzgerald, John (1965-)
出版資料:London Springer c2005.
ISBN/ISSN:1852338814
館藏量 (1) 館藏可借數量 (1)
4Petri nets for systems engin...
書目-語言資料,印刷品:單行本
作者：Girault, Claude,Valk, R.
出版資料:New York Springer c2003
ISBN/ISSN:3540412174
館藏量 (1) 館藏可借數量 (1)
5Modeling and verification us...
書目-語言資料,印刷品:單行本
作者：Drusinsky, Doron.
出版資料:Burlington, MA Newnes c2006.
ISBN/ISSN:0750679492,9780750679497
館藏量 (2) 館藏可借數量 (2)
6Formal methods for mobile co...
書目-語言資料,印刷品:單行本
作者：Bogliolo, Alessandro,Bernardo, Marco,International School on Formal Methods for the Design of Computer, Communication, and Software Systems (5th ( : 2005)
出版資料:Berlin Springer c2005
ISBN/ISSN:3540256970
館藏量 (1) 館藏可借數量 (1)
7Practical object-oriented de...
書目-語言資料,印刷品:單行本
作者：Priestley, Mark.
出版資料:London McGraw-Hill 2004.
ISBN/ISSN:0071239235
館藏量 (1) 館藏可借數量 (1)
8UML 2 semantics and applicat...
書目-語言資料,印刷品:單行本
作者：Lano, K.
出版資料:Hoboken, N.J. John Wiley & Sons c2009.
ISBN/ISSN:9780470409084,0470409088
館藏量 (1) 館藏可借數量 (1)
9The object primer:agile mode...
書目-語言資料,印刷品:單行本
作者：Ambler, Scott W. (1966-)
出版資料:Cambridge, UK Cambridge University Press 2004
ISBN/ISSN:0521540186
館藏量 (1) 館藏可借數量 (1)
10AsiaSim 2014:14th Internatio...
書目-語言資料,印刷品:單行本
作者：Asian Simulation Conference ((2014),Tanaka, Satoshi.
出版資料:Heidelberg Springer c2014.
ISBN/ISSN:9783662452882,366245288X
館藏量 (1) 館藏可借數量 (1)