Clicky

Formal Methods in Outer Space by Ezio Bartocci and similar books you'll love - Bookscovery

Home > Authors > Ezio Bartocci > Formal Methods in Outer Space

Buy at: Bookshop.org Amazon

Formal Methods in Outer Space

Ezio Bartocci, Yliès Falcone, Martin Leucker

Recent activity

Rate this book to see your activity here.

6 Books Similar to Formal Methods in Outer Space by Ezio Bartocci

Bookscovery readers who liked Formal Methods in Outer Space also like Lectures on Runtime Verification, Lectures on Runtime Verification and Formal Methods. How many of these have you read?

Lectures on Runtime Verification by Ezio Bartocci

Cover of Lectures on Runtime Verification
Buy this book at:
Bookshop.org Amazon

Lectures on Runtime Verification by Ezio Bartocci

Cover of Lectures on Runtime Verification
Buy this book at:
Bookshop.org Amazon

Formal Methods by Marsha Chechik

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

Formal Methods : Applications and Technology by Lubos Brim

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

Model-Based Testing of Reactive Systems by Manfred Broy

Cover of Model-Based Testing of Reactive Systems
Buy this book at:
Bookshop.org Amazon

Theoretical Aspects of Computing - ICTAC 2015 by Martin Leucker

Cover of Theoretical Aspects of Computing - ICTAC 2015
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Formal Methods in Outer Space

Please sign in to leave a comment