Data Refinement - 9780521103503

Data Refinement: Model-Oriented Proof Methods and their Comparison by Willem-Pau

Data Refinement : Model-Oriented Proof Methods and Their Comparison, Hardcove...

Programming Concepts and Methods: Ed. by David Gries and Willem-Paul de Roever

de Roever - Data Refinement Model-Oriented Proof Methods and Their Co - X555z

Data Refinement Model-Oriented Proof Methods and their Comparison de Roever

Muhammad and Jesus : A Comparison of the Prophets and Their Teach

Writing and Rhetoric Book 7 & 8: Encomium, Vituperation, Comparison Student Used