Skip to main content
PBS logo
 
 

Search - List of Books by M. Bidoit

Total Books: 4
Systems and Software Verification ModelChecking Techniques and Tools
2010 - Systems and Software Verification Modelchecking Techniques and Tools (Paperback) → Hardcover
ISBN-13: 9783642074783
ISBN-10: 3642074782
Genres: Computers & Technology, Science & Math
  ?
Systems and Software Verification ModelChecking Techniques and Tools
2001 - Systems and Software Verification Modelchecking Techniques and Tools (Hardcover) → Paperback
ISBN-13: 9783540415237
ISBN-10: 3540415238
Genre: Computers & Technology
  ?
Algebraic System Specification and Development A Survey and Annotated Bibliography
Algebraic System Specification and Development a Survey and Annotated Bibliography [Lecture Notes in Computer Science] (Paperback)
ISBN-13: 9780387540603
ISBN-10: 0387540601
Genre: Computers & Technology
  ?
Recent Trends in Data Type Specification 8th Workshop on Specification of Abstract Data Types Joint With the 3rd Compass Workshop Dourdan France A
Recent Trends in Data Type Specification 8th Workshop on Specification of Abstract Data Types Joint with the 3rd Compass Workshop Dourdan France A [Lecture Notes in Computer Science] (Paperback)
ISBN-13: 9780387563794
ISBN-10: 0387563792
Genres: Computers & Technology, Reference, Science & Math
  ?

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.