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 Grant Malcolm et al.
30 apr 2000
Hardback
Preț: 1325.74 lei 1657.17 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%