Lecture Notes in Computer Science 4468 Formal Methods for Open Object-Based Distributed Systems 9th
2007 年出版317 页ISBN：9783540729198
Lecture Notes in Computer Science 3535 Formal Methods for Open Object-Based Distributed Systems 7th
FMOODS 20052005 年出版321 页ISBN：3540261818
Lecture Notes in Computer Science 4037 Formal Methods for Open Object-Based Distributed Systems 8th
FMOODS 20062006 年出版267 页ISBN：354034893X
Lecture Notes in Computer Science 3185 Formal Methods for the Design of Real-Time Systems Internatio
Communication and Systems2004 年出版295 页ISBN：
FORMAL MODELS AND PRACTICAL TOOLS FOR INFORMATION SYSTEMS DESIGN
1979 年出版297 页ISBN：0444853944
Lecture Notes in Computer Science 3393 Formal Methods in Software and Systems Modeling Essays Dedica
2005 年出版413 页ISBN：3540249362
CONCEPTUAL DESIGN FOR INTERACTIVE SYSTEMS DESIGNING FOR PERFORMANCE AND USER EXPERIENCE
AVI PARUSH2015 年出版148 页ISBN：0124199699
Lecture Notes in Computer Science 3657 Formal Methods for Components and Objects
2005 年出版325 页ISBN：3540291318
Lecture Notes in Computer Science 4700 Formal Methods and Hybrid Real-Time Systems Essaya in Honour
2007 年出版539 页ISBN：9783540752202
