Willem-Paul de Roever

Data Refinement: Model-Oriented Proof Methods and their Comparison

Willem-Paul de Roever

$66.95 - $154.76

Concurrency Verification: Introduction to Compositional and Non-Compositional Methods

Willem-Paul de Roever

$91.95 - $271.77

Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods

Willem-Paul de Roever

$219.99

Compositionality: The Significant Difference: International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997, Revised Lectures (Lecture Notes in Computer Science)

Willem-Paul de Roever

$109.99