Become a Readings Member to make your shopping experience even easier. Sign in or sign up for free!

Become a Readings Member. Sign in or sign up for free!

Hello Readings Member! Go to the member centre to view your orders, change your details, or view your lists, or sign out.

Hello Readings Member! Go to the member centre or sign out.

Cart ⚙️
Home / Modal and Temporal Properties of Processes
Modal and Temporal Properties of Processes
Hardback

Modal and Temporal Properties of Processes

Colin Stirling
$199.99
Add to wishlist
Sign in or become a Readings Member to add this title to your wishlist.

In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.

Read More
In Shop
Out of stock
Shipping & Delivery

$9.00 standard shipping within Australia
FREE standard shipping within Australia for orders over $100.00
Express & International shipping calculated at checkout

MORE INFO
Format
Hardback
Publisher
Springer-Verlag New York Inc.
Country
United States
Date
6 July 2001
Pages
191
ISBN
9780387987170

In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.

Read More
Format
Hardback
Publisher
Springer-Verlag New York Inc.
Country
United States
Date
6 July 2001
Pages
191
ISBN
9780387987170

Looking for something in particular?

Search our extensive online catalogue.