Refinement: Semantics, Languages and Applications
Autor John Derrick et al.
14 sep 2018
Hardback
Preț: 332.83 lei 416.03 lei
6-8 săpt.
-20%
Cărți de John Derrick
Refinement in Z and Object-Z: Foundations and Advanced Applications
Autor John Derrick et al.
23 aug 2015
Paperback
Preț: 644.99 lei 806.24 lei
6-8 săpt.
-20%
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Editat de John Derrick et al.
6 iun 2012
Paperback
Preț: 331.36 lei 414.20 lei
6-8 săpt.
-20%
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Editat de John Derrick et al.
12 iun 2012
Paperback
Preț: 333.00 lei 416.25 lei
6-8 săpt.
-20%
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Editat de Howard Bowman et al.
20 iul 2011
Paperback
Preț: 367.27 lei 459.09 lei
6-8 săpt.
-20%
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings
Editat de John Derrick et al.
12 iun 2007
Paperback
Preț: 331.54 lei 414.42 lei
6-8 săpt.
-20%
Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings
Editat de Eerke Boiten et al.
24 mar 2004
Paperback
Preț: 339.65 lei 424.57 lei
6-8 săpt.
-20%
Formal Methods for Open Object-based Distributed Systems: Volume 2
Editat de Howard Bowman et al.
30 iun 1997
Hardback
Preț: 1265.86 lei 1582.32 lei
6-8 săpt.
-20%