Temporal Verification of Reactive Systems: Safety - Zohar Manna - Books - Springer-Verlag New York Inc. - 9780387944593 - August 4, 1995
In case cover and title do not match, the title is correct

Zohar Manna
Temporal Verification of Reactive Systems: Safety 1995 edition

Price
HK$ 829
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Aug 4 - 10
Get notified about new Zohar Manna releases

Our customers say:

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

Not rated yet

Also available as:

Presents a verification methodology for proving that reactive systems meet their specifications, expressed as safety properties in the language of temporal logic. The methods include deductive approaches based on theorem proving and fully automatic approaches based on model checking.

512 pages, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released August 4, 1995
ISBN13 9780387944593
Publishers Springer-Verlag New York Inc.
Pages 512
Dimensions 178 × 254 × 30 mm   ·   970 g
Language English  

More by Zohar Manna

Show all

More from the same publisher

See all of Zohar Manna ( e.g. Paperback Book and Hardcover Book )