Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach - Princeton Series in Computer Science - Robert P. Kurshan - Books - Princeton University Press - 9780691606057 - July 14, 2014
In case cover and title do not match, the title is correct

Robert P. Kurshan
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach - Princeton Series in Computer Science

Price
NZ$ 141
excl. VAT

Ordered from remote warehouse

Expected delivery Aug 25 - Sep 10
Get notified about new Robert P. Kurshan 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:

Formal verification increasingly has become recognized as an answer to the problem of how to create ever more complex control systems, which nonetheless are required to behave reliably. To be acceptable in an industrial setting, formal verification must be highly algorithmic; to cope with design complexity, it must support a top-down design methodo

284 pages, black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released July 14, 2014
ISBN13 9780691606057
Publishers Princeton University Press
Pages 284
Dimensions 232 × 157 × 19 mm   ·   458 g
Language English  

More from the same publisher

See all of Robert P. Kurshan ( e.g. Paperback Book and Hardcover Book )