Software Engineering with OBJ: Algebraic Specification in Action
Editat de Joseph A. Goguen et al.
7 dec 2010
Paperback
Preț: 1228.89 lei 1536.12 lei
6-8 săpt.
-20%
Advances in Formal Methods
Computer-Aided Reasoning: ACL2 Case Studies
Editat de Matt Kaufmann et al.
8 dec 2010
Paperback
Preț: 1224.95 lei 1531.19 lei
6-8 săpt.
-20%
The Object-Z Specification Language
Autor Graeme Smith
2 noi 2012
Paperback
Preț: 1216.60 lei 1520.76 lei
6-8 săpt.
-20%