Books by Willem-Paul de Roever

3 titles available, newest first by original publication date.

Data Refinement: Model-Oriented Proof Methods and Their Comparison

Willem-Paul de Roever

$85.99

Concurrency Verification: Introduction to Compositional and Non-Compositional Methods

Concurrency Verification: Introduction to Compositional and Non-Compositional Methods

Willem-Paul de Roever

$304.99

Compositionality: The Significant Difference: International Symposium, Compos'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures

Compositionality: The Significant Difference: International Symposium, Compos'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures

Willem-Paul de Roever

$128.99