Data Refinement: Model-Oriented Proof Methods and their Comparison
Autor Willem-Paul de Roever et al.
17 dec 2008
Paperback
Preț: 393.34 lei 491.67 lei
43-57 zile
-20%
Cărți de Willem-Paul de Roever
Concurrency Verification: Introduction to Compositional and Non-compositional Methods
Autor Willem-Paul de Roever et al.
25 ian 2012
Paperback
Preț: 552.39 lei 690.49 lei
43-57 zile
-20%
Programming Concepts and Methods PROCOMET '98
Editat de David Gries et al.
31 mai 1998
Hardback
Preț: 1239.32 lei 1549.14 lei
43-57 zile
-20%