Skip to main content
PBS logo
 
 

Search - List of Books by Willem-Paul de Roever

Total Books: 3
Concurrency verification introduction to compositional and noncompositional methods
Concurrency Verification Introduction to Compositional and Noncompositional Methods (Hardcover)
ISBN-13: 9780521806084
ISBN-10: 0521806089
Genres: Computers & Technology, Reference
  ?
Data Refinement ModelOriented Proof Methods and their Comparison
Data Refinement Modeloriented Proof Methods and Their Comparison [Cambridge Tracts in Theoretical Computer Science] (Paperback) → Hardcover
ISBN-13: 9780521103503
ISBN-10: 0521103509
  ?
Data Refinement ModelOriented Proof Methods and their Comparison
Data Refinement Modeloriented 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
  ?

Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.