Refinement: Semantics, Languages and Applications
Autor John Derrick et al.
14 sep 2018
Hardback
Preț: 328.85 lei 411.06 lei
43-57 zile
-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ț: 637.25 lei 796.56 lei
43-57 zile
-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ț: 327.41 lei 409.26 lei
43-57 zile
-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ț: 329.03 lei 411.29 lei
43-57 zile
-20%
Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches
Editat de Howard Bowman et al.
20 iul 2011
Paperback
Preț: 362.88 lei 453.60 lei
43-57 zile
-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ț: 327.58 lei 409.48 lei
43-57 zile
-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ț: 335.60 lei 419.50 lei
43-57 zile
-20%
Formal Methods for Open Object-based Distributed Systems: Volume 2
Editat de Howard Bowman et al.
30 iun 1997
Hardback
Preț: 1250.60 lei 1563.25 lei
43-57 zile
-20%