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: A Survey of Object-Oriented Approaches
Editat de Howard Bowman et al.
20 iul 2011
Paperback
Preț: 359.26 lei 449.08 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ț: 1241.34 lei 1551.67 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. | 6-12 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: Foundations and Advanced Applications
Autor John Derrick et al.
23 aug 2015
Paperback
Preț: 630.68 lei 788.36 lei
6-8 săpt.
-20%
Refinement: Semantics, Languages and Applications
Autor John Derrick et al.
14 sep 2018
Hardback
Preț: 325.61 lei 407.00 lei
6-8 săpt.
-20%