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
6-8 săpt.
-20%
Cambridge Tracts in Theoretical Computer Science
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
6-8 săpt.
-20%