Lecture Notes in Computer Science 3235 Formal Techniques for Networked and Distributed Systems-FORTE
2004 年出版376 页ISBN：3540232524
Lecture Notes in Computer Science 4574 Formal Techniques for Networked and Distributed Systems-FORTE
2007 年出版375 页ISBN：9783540731955
Lecture Notes in Computer Science 4229 Formal Techniques for Networked and Distributed Systems-FORTE
2006 年出版486 页ISBN：3540462198
Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN：354029189X
数据建模 分析与设计的工具和技术 Tools and Techniques for Analysis and Design
（美） Steve Hoberman著；贾爱霞，程耀译2004 年出版377 页ISBN：7111143086
本书包括了作者在数据建模工作中创建和使用的一些电子表格，即书中所述的工具；这二十多个工具经过精心调试，用于改进数据库、数据仓库和操作型应用程序的速度、准确性、适应性和一致性。...
A Unifying Framework for Structured Analysis and Design Models:An Approach using Initial Algebra Sem
1991 年出版179 页ISBN：0521392962
Lecture Notes in Control and Information Sciences 349 Control Systems Theory and Applications for Li
2007 年出版468 页ISBN：9783540426639
Mission-Critical and Safety-Critical Systems Handbook Design and Development for Embedded Applicatio
Kim Fowler2010 年出版578 页ISBN：
Lecture Notes in Computer Science 3914 Software Engineering for Multi-Agent Systems IV Research Issu
2006 年出版253 页ISBN：3540335803
Lecture Notes in Computer Science 3456 Operational Semantics for Timed Systems A Non-standard Approa
2005 年出版223 页ISBN：3540255761
