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
Formal Methods for Distributed Processing
Editat de Howard Bowman et al.
9 dec 2010
Paperback
Preț: 369.77 lei 462.22 lei
6-8 săpt.
-20%
Formal Methods for Open Object-Based Distributed Systems
Editat de Howard Bowman et al.
30 iun 1997
Hardback
Preț: 1263.66 lei 1579.57 lei
6-8 săpt.
-20%
Integrated Formal Methods
Editat de John Derrick et al.
6 iun 2012
Paperback
Preț: 325.83 lei 407.29 lei
6-8 săpt.
-20%
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. | 7-13 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%