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

Zohar Manna
Temporal Verification of Reactive Systems: Safety

Price
Íkr 14,459
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 8 - 16

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:

The family of reactive systems includes many classes of programs whose correct and reliable construction is con sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems.

512 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released August 22, 2012
ISBN13 9781461287018
Publishers Springer-Verlag New York Inc.
Pages 512
Dimensions 155 × 235 × 27 mm   ·   743 g
Language English  

More by Zohar Manna

Show all

Mere med samme udgiver

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