New Year Sale! Shop $2.99 books while stocks last SHOP NOW

FREE US SHIPPING OVER $15 Free US Shipping over $15

OVER 100 MILLION BOOKS REHOMED

Books by Joseph Sifakis

Filters

Close all

Sort by:

Price

Binding Type

Author

Publisher

Product Type

Console

Platform

Conditions

Automatic Verification Methods for Finite State Systems

Automatic Verification Methods for Finite State Systems

Author: Joseph Sifakis

View Product

Rigorous System Design

Rigorous System Design

Author: Joseph Sifakis

View Product

Understanding and Changing the World

Understanding and Changing the World

Author: Joseph Sifakis

View Product

Understanding and Changing the World

Understanding and Changing the World

Author: Joseph Sifakis

View Product

48