Clicky

Formal Methods : Applications and Technology by Lubos Brim and similar books you'll love - Bookscovery

Home > Authors > Lubos Brim > Formal Methods : Applications and Technology

Buy at: Bookshop.org Amazon

Formal Methods : Applications and Technology

Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol

Recent activity

Rate this book to see your activity here.

4 Books Similar to Formal Methods : Applications and Technology by Lubos Brim

Bookscovery readers who liked Formal Methods : Applications and Technology also like Formal Methods, Model-Based Testing of Reactive Systems and Theoretical Aspects of Computing - ICTAC 2015. How many of these have you read?

Formal Methods by Marsha Chechik

Cover of Formal Methods
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

Model Checking Software by Jaco van de Pol

Cover of Model Checking Software
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Formal Methods : Applications and Technology

Please sign in to leave a comment