Modal and Temporal Properties of Processes - Texts in Computer Science - Colin Stirling - Books - Springer-Verlag New York Inc. - 9780387987170 - July 6, 2001
In case cover and title do not match, the title is correct

Colin Stirling
Modal and Temporal Properties of Processes - Texts in Computer Science 2001 edition

Price
$ 53.99
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 30 - Jul 6

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

In recent years, model checking has become an essential technique for the formal verification of systems. 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.

203 pages, 2 black & white illustrations, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released July 6, 2001
ISBN13 9780387987170
Publishers Springer-Verlag New York Inc.
Pages 191
Dimensions 178 × 235 × 13 mm   ·   553 g
Language English  

Mere med samme udgiver

See all of Colin Stirling ( e.g. Hardcover Book and Paperback Book )