Search - List of Books by Willem-Paul de Roever

Total Books: 3
Data Refinement Model-Oriented Proof Methods and their Comparison
2008 - Data Refinement Model-oriented Proof Methods and Their Comparison [Cambridge Tracts in Theoretical Computer Science] (Paperback)Hardcover
ISBN-13: 9780521103503
ISBN-10: 0521103509
  ?

Data Refinement  Model-Oriented Proof Methods and their Comparison
2001 - Data Refinement Model-oriented Proof Methods and Their Comparison [Cambridge Tracts in Theoretical Computer Science] (Hardcover)Paperback
ISBN-13: 9780521641708
ISBN-10: 0521641705
Genres: Computers & Technology, Science & Math, Substores
  ?

Concurrency verification introduction to compositional and noncompositional methods