Books by Willem-Paul de Roever
No products found matching the selection.
-20%
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
Willem-Paul de Roever, Frank de Boer, Jozef Hooman
€427.84
€534.80
-20% with code BOOKS
In stock at our supplier
-20%
Data Refinement: Model-Oriented Proof Methods and Their Comparison
Kai Engelhardt, Willem-Paul de Roever
€119.70
€149.62
-20% with code BOOKS
In stock at our supplier
-20%
Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever
€85.38
€106.73
-20% with code BOOKS
In stock at our supplier