Similar Listings
Formal Verification of Control System Software by Pierre-Lo?c Garoche (English)
Formal Verification of Control System Software, Hardcover by Garoche, Pierre-...
Validation and Verification of Formal Specifications in Object-Oriented Software
Formal Verification of Control System Software, Hardcover by Garoche, Pierre-...
Formal Verification of Control System Software by Pierre-Loïc Garoche: Used
Computer-Aided Verification: A Special Issue of Formal Methods In System Desig..
Formal Verification of Control System Software by Pierre-Loïc Garoche: New
Formal Verification of Object-Oriented Software - 9783642317613