Clicky

Automatic Verification Methods for Finite State Systems by Joseph Sifakis and similar books you'll love - Bookscovery

Home > Authors > Joseph Sifakis > Automatic Verification Methods for Finite State Systems

Buy at: Bookshop.org Amazon

Automatic Verification Methods for Finite State Systems

Joseph Sifakis

Recent activity

Rate this book to see your activity here.

5 Books Similar to Automatic Verification Methods for Finite State Systems by Joseph Sifakis

Bookscovery readers who liked Automatic Verification Methods for Finite State Systems also like Automatic verification methods for finite state systems, Embedded Software and Embedded systems design. How many of these have you read?

Automatic verification methods for finite state systems by Joseph Sifakis

Cover of Automatic verification methods for finite state systems
Buy this book at:
Bookshop.org Amazon

Embedded Software by Alberto Sangiovanni-Vincentelli

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

Embedded systems design by Joseph Sifakis

Cover of Embedded systems design
Buy this book at:
Bookshop.org Amazon

Rigorous System Design by Joseph Sifakis

Cover of Rigorous System Design
Buy this book at:
Bookshop.org Amazon

Understanding and Changing the World by Joseph Sifakis

Cover of Understanding and Changing the World
Buy this book at:
Bookshop.org Amazon

Comments and reviews of Automatic Verification Methods for Finite State Systems

Please sign in to leave a comment