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%
Cărți de John Derrick
Formal Methods for Open Object-Based Distributed Systems
Editat de Howard Bowman et al.
30 iun 1997
Hardback
Preț: 1237.46 lei 1546.83 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%
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%