1.
 |  | Title: Formal Methods for Components and Objects: First International Symposium, Fmco 2002, Leiden, the Netherlands, November 2002: Revised Lectures (Lecture Notes in Computer Science, 2852)
by Fmco 200, Marcello M. Bonsangue, Susanne Graf, Willem-Paul De Roever, Frank S. De Boer, Frank S. De Boer
ISBN: 3540203036
Publisher: Springer Verlag
Pub. Date: December, 2003
List Price: $79.00
Amazon.com Price: $79.00 |
2.
|  | Title: Concurrency verification: introduction to compositional and noncompositional methods
by Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers
ISBN: 0521806089
Publisher: Cambridge University Press
Pub. Date: 15 January, 2001
List Price: $130.00
Amazon.com Price: $130.00 |
3.
|  | Title: Data Refinement : Model-Oriented Proof Methods and their Comparison
by Willem-Paul de Roever, Kai Engelhardt
ISBN: 0521641705
Publisher: Cambridge University Press
Pub. Date: 15 January, 2001
List Price: $90.00
Amazon.com Price: $90.00 |
4.
|  | Title: Programming Concepts and Methods: Procomet 98
by David Gries, Chapman, Hall, Chapman & Hall, Willem-Paul de Roever
ISBN: 0412837609
Publisher: Kluwer Academic Publishers
Pub. Date: 14 May, 1998
List Price: $310.00
Amazon.com Price: $310.00 |
