1Formal 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)
2Understanding formal methods
書目-語言資料,印刷品:單行本
作者：MoninJean Fran蓽is (1960-),Hinchey, Michael G. (1969-)
出版資料:London Springer c2003
ISBN/ISSN:1852332476
館藏量 (1) 館藏可借數量 (1)
3Agent-oriented information s...
書目-語言資料,印刷品:單行本
作者：AOIS 2003 ( : 2003)
出版資料:New York Springer 2004
ISBN/ISSN:3540221271
館藏量 (1) 館藏可借數量 (1)
4Formal software development:...
書目-語言資料,印刷品:單行本
作者：Kans, Aaron,Charatan, Quentin
出版資料:Basingstoke Palgrave Macmillan 2003
ISBN/ISSN:0333992814
館藏量 (1) 館藏可借數量 (1)
5AsiaSim 2014:14th Internatio...
書目-語言資料,印刷品:單行本
作者：Asian Simulation Conference ((2014),Tanaka, Satoshi.
出版資料:Heidelberg Springer c2014.
ISBN/ISSN:9783662452882,366245288X
館藏量 (1) 館藏可借數量 (1)
6Validated designs for object...
書目-語言資料,印刷品:單行本
作者：Fitzgerald, John (1965-)
出版資料:London Springer c2005.
ISBN/ISSN:1852338814
館藏量 (1) 館藏可借數量 (1)
7Petri nets for systems engin...
書目-語言資料,印刷品:單行本
作者：Girault, Claude,Valk, R.
出版資料:New York Springer c2003
ISBN/ISSN:3540412174
館藏量 (1) 館藏可借數量 (1)
8Advances in artificial life:...
書目-語言資料,印刷品:單行本
作者：Capcarrere, Mathieu S,European Conference on Artificial Life (8th ( : 2005)
出版資料:New York Springer c2005
ISBN/ISSN:3540288481,9783540288480
館藏量 (1) 館藏可借數量 (1)
9Modeling and verification us...
書目-語言資料,印刷品:單行本
作者：Drusinsky, Doron.
出版資料:Burlington, MA Newnes c2006.
ISBN/ISSN:0750679492,9780750679497
館藏量 (2) 館藏可借數量 (2)
10SOFSEM 2004:theory and pract...
書目-語言資料,印刷品:單行本
作者：Emde Boas, P. van
出版資料:New York Springer-Verlag 2004
ISBN/ISSN:3540207791
館藏量 (1) 館藏可借數量 (1)