Modal and Temporal Properties of Processes - Texts in Computer Science - Colin Stirling - Books - Springer-Verlag New York Inc. - 9781441931535 - October 9, 2011
In case cover and title do not match, the title is correct

Colin Stirling
Modal and Temporal Properties of Processes - Texts in Computer Science Softcover reprint of the original 1st ed. 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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 9, 2011
ISBN13 9781441931535
Publishers Springer-Verlag New York Inc.
Pages 191
Dimensions 253 × 180 × 18 mm   ·   362 g
Language English  

Mere med samme udgiver

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