Clicky

Verified Software. Theories, Tools, and Experiments by Sandrine Blazy and similar books you'll love - Bookscovery

Home > Authors > Sandrine Blazy > Verified Software. Theories, Tools, and Experiments

Buy at: Bookshop.org Amazon

Verified Software. Theories, Tools, and Experiments

Sandrine Blazy, Marsha Chechik

Recent activity

Rate this book to see your activity here.

6 Books Similar to Verified Software. Theories, Tools, and Experiments by Sandrine Blazy

Bookscovery readers who liked Verified Software. Theories, Tools, and Experiments also like Program Logics for Certified Compilers, CONCUR 2008 - Concurrency Theory and Formal Methods. How many of these have you read?

Program Logics for Certified Compilers by Andrew W. Appel

Cover of Program Logics for Certified Compilers
Buy this book at:
Bookshop.org Amazon

CONCUR 2008 - Concurrency Theory by Franck van Breugel

Cover of CONCUR 2008 - Concurrency Theory
Buy this book at:
Bookshop.org Amazon

Formal Methods by Marsha Chechik

Cover of Formal Methods
Buy this book at:
Bookshop.org Amazon

Fundamental Approaches to Software Engineering by Marsha Chechik

Cover of Fundamental Approaches to Software Engineering
Buy this book at:
Bookshop.org Amazon

Fundamental Approaches To Software Engineering 12th International Conference Proceedings by Marsha Chechik

Cover of Fundamental Approaches To Software Engineering 12th International Conference Proceedings
Buy this book at:
Bookshop.org Amazon

Tools and Algorithms for the Construction and Analysis of Systems by Marsha Chechik

Cover of Tools and Algorithms for the Construction and Analysis of Systems
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Verified Software. Theories, Tools, and Experiments

Please sign in to leave a comment