Modal and Temporal Properties of Processes Image close
Modal and Temporal Properties of Processes by Colin Stirling
Modal and Temporal Properties of Processes by Colin Stirling
Show Hide Adult Content
Modal and Temporal Properties of Processes close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Technology  
Electronics & communications engineering  
Electronics engineering  
Automatic control engineering

Modal and Temporal Properties of Processes

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$135.99
RRP:
$227.95 save $91.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $34.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 18-28 June using International Courier

Explore more Texts in Computer Science

See all products in this series

Guide to Computer Network Security by Joseph Migga Kizza
$195.99
Guide to Computer Network Security
by Joseph Migga Kizza ~ Paperback / softback
Pre-order - out 12 Apr 2025
Essentials of Cloud Computing by Chellammal Surianarayanan
$160.99
Essentials of Cloud Computing
by Chellammal Surianarayanan ~ Paperback / softback
Pre-order - out 11 Oct 2024
Animated Problem Solving on Hardback by Marco T. Morazan
$207.99
Animated Problem Solving
by Marco T. Morazan ~ Hardback
Available - Usually ships in 3-4 weeks
Descriptive Complexity on Hardback by Neil Immerman
$314.99
Descriptive Complexity
by Neil Immerman ~ Hardback
Available - Usually ships in 3-4 weeks
Software Reliability Methods on Hardback by Doron A. Peled Save $126
$141.99
$268.95
Software Reliability Methods
by Doron A. Peled ~ Hardback
Available - Usually ships in 3-4 weeks
An Integrated Approach to Software Engineering on Hardback by Pankaj Jalote
$254.99
An Integrated Approach to Software Engineering
by Pankaj Jalote ~ Hardback
Available - Usually ships in 3-4 weeks
Computability and Complexity Theory on Hardback by Steven Homer
$245.99
Computability and Complexity Theory
by Steven Homer ~ Hardback
Available - Usually ships in 3-4 weeks
Software Reliability Methods by Doron A. Peled Save $130
$137.99
$268.95
Software Reliability Methods
by Doron A. Peled ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Guide to Web Development with Java on Hardback by Tim Downey
$195.99
Guide to Web Development with Java
by Tim Downey ~ Hardback
Available - Usually ships in 3-4 weeks
Understanding Computation on Hardback by Arnold L. Rosenberg
$265.99
Understanding Computation
by Arnold L. Rosenberg ~ Hardback
Available - Usually ships in 3-4 weeks
Image Processing for Computer Graphics and Vision by Luiz Velho Save $12
$142.99
$155.95
Image Processing for Computer Graphics and Vision
by Luiz Velho ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Guide to Computer Network Security on Hardback by Joseph Migga Kizza
$265.99
Guide to Computer Network Security
by Joseph Migga Kizza ~ Hardback
Available - Usually ships in 3-4 weeks
Computational Methods for Deep Learning on Hardback by Wei Qi Yan
$140.99
Computational Methods for Deep Learning
by Wei Qi Yan ~ Hardback
Available - Usually ships in 2-3 weeks
Guide to Computer Network Security on Hardback by Joseph Migga Kizza
$152.99
Guide to Computer Network Security
by Joseph Migga Kizza ~ Hardback
Available - Usually ships in 2-3 weeks
On Concurrent Programming on Hardback by Fred B Schneider
$165.99
On Concurrent Programming
by Fred B Schneider ~ Hardback
Available - Usually ships in 3-4 weeks
Introduction to Assembly Language Programming on Hardback by Sivarama P Dandamudi
$260.99
Introduction to Assembly Language Programming
by Sivarama P Dandamudi ~ Hardback
Available - Usually ships in 3-4 weeks

Description

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.
Release date Australia
October 9th, 2011
Audience
  • Professional & Vocational
Edition
Softcover reprint of the original 1st ed. 2001
Illustrations
2 Illustrations, black and white; XII, 191 p. 2 illus.
Pages
191
Dimensions
178x254x10
ISBN-13
9781441931535
Product ID
10817512

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Technology >
Electronics & communications engineering >
Electronics engineering >
Automatic control engineering
Books >
Computers & Internet >
Hardware & Operating Systems >
Systems management
Books >
Computers & Internet >
Computer Programming
Books >
Non-Fiction >
Reference >
Research & information: general >
Information theory >
Cybernetics & systems theory
Books >
Computers & Internet >
Computer hardware
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation