Computer-Aided Reasoning
Editat de Matt Kaufmann et al.
30 iun 2000
Hardback
Preț: 1321.32 lei 1651.65 lei
6-8 săpt.
-20%
Advances in Formal Methods
Software Engineering with OBJ
Editat de Joseph A. Goguen et al.
7 dec 2010
Paperback
Preț: 1228.89 lei 1536.12 lei
6-8 săpt.
-20%
The Object-Z Specification Language
Autor Graeme Smith
31 dec 1999
Hardback
Preț: 1310.31 lei 1637.89 lei
6-8 săpt.
-20%