Books by Advances in Formal Methods
No products found matching the selection.
-20%
The Object-Z Specification Language
€271.02
€338.78
-20% with code BOOKS
In stock at our supplier
-20%
Software Engineering with OBJ: Algebraic Specification in Action
€271.02
€338.78
-20% with code BOOKS
In stock at our supplier
-20%
Computer-Aided Reasoning: ACL2 Case Studies
€271.02
€338.78
-20% with code BOOKS
In stock at our supplier
-20%
Software Engineering with OBJ: Algebraic Specification in Action
€271.02
€338.78
-20% with code BOOKS
In stock at our supplier
-20%
Computer-Aided Reasoning: ACL2 Case Studies
€271.02
€338.78
-20% with code BOOKS
In stock at our supplier
-20%
The Object-Z Specification Language
€271.02
€338.78
-20% with code BOOKS
In stock at our supplier