Knygos pagal Advances in Formal Methods
The Object-Z Specification Language
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Software Engineering with OBJ: Algebraic Specification in Action
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Computer-Aided Reasoning: ACL2 Case Studies
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Software Engineering with OBJ: Algebraic Specification in Action
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
Computer-Aided Reasoning: ACL2 Case Studies
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją
The Object-Z Specification Language
-25% su kodu BOOKS
Turime sandėlyje pas mūsų tiekėją