Integrated Formal Methods
Editat de Eerke Boiten et al.
24 mar 2004
Paperback
Preț: 335.48 lei 419.35 lei
6-8 săpt.
-20%
Cărți de John Derrick
Abstract State Machines, Alloy, B, VDM, and Z
Editat de John Derrick et al.
12 iun 2012
Paperback
Preț: 327.07 lei 408.84 lei
6-8 săpt. | 4-10 zile
-20%
Formal Techniques for Networked and Distributed Systems - FORTE 2007
Editat de John Derrick et al.
12 iun 2007
Paperback
Preț: 326.88 lei 408.60 lei
6-8 săpt.
-20%
Refinement in Z and Object-Z
Autor John Derrick et al.
23 aug 2015
Paperback
Preț: 635.23 lei 794.04 lei
6-8 săpt.
-20%
Refinement
Autor John Derrick et al.
14 sep 2018
Hardback
Preț: 332.80 lei 415.99 lei
6-8 săpt.
-20%