Formal Methods
关于 Formal Methods 书籍列表
-
Event-B建模 系统和软件工程
阅读量：6
ISBN：9787115508997
发布时间：2025-05-02 14:23:39 -
Design and Formal Analysis of Petri Net Based Logic Control
阅读量：0
ISBN：9783832200435
发布时间：2025-05-16 23:38:33 -
Logic in Computer Science
阅读量：0
ISBN：9780521543101
发布时间：2025-05-17 01:41:19 -
Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications
阅读量：0
ISBN：9783540647690
发布时间：2025-05-17 04:00:12 -
Automated Reasoning
阅读量：0
ISBN：9783540223450
发布时间：2025-05-17 04:06:41 -
Algebra of Communicating Processes
阅读量：0
ISBN：9783540199090
发布时间：2025-05-17 11:33:09 -
Algebra of Communicating Processes: Proceedings of Acp94, the First Workshop on the Algebra of Communicating Processes, Utrecht, the Netherlands, 16
阅读量：0
ISBN：9780387199092
发布时间：2025-05-17 11:33:13 -
Formal Techniques for Data Base Design
阅读量：0
ISBN：9783540156017
发布时间：2025-05-20 21:03:56 -
Formal Techniques for Data Base Design
阅读量：0
ISBN：9783642705946
发布时间：2025-05-20 21:03:59