Kirjat Advances in Formal Methods
The Object-Z Specification Language
-25% koodilla BOOKS
Toimittajalla varastossa
Software Engineering with OBJ: Algebraic Specification in Action
-25% koodilla BOOKS
Toimittajalla varastossa
Computer-Aided Reasoning: ACL2 Case Studies
-25% koodilla BOOKS
Toimittajalla varastossa
Software Engineering with OBJ: Algebraic Specification in Action
-25% koodilla BOOKS
Toimittajalla varastossa
Computer-Aided Reasoning: ACL2 Case Studies
-25% koodilla BOOKS
Toimittajalla varastossa
The Object-Z Specification Language
-25% koodilla BOOKS
Toimittajalla varastossa