Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach - Princeton Legacy Library - Robert P. Kurshan - Books - Princeton University Press - 9780691634890 - April 19, 2016
In case cover and title do not match, the title is correct

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach - Princeton Legacy Library

Robert P. Kurshan

Price
HK$ 1,106
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 11 - 21
Christmas presents can be returned until 31 January

Our customers say:

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

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach - Princeton Legacy Library

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     Hardcover Book   (Book with hard spine and cover)
Released April 19, 2016
ISBN13 9780691634890
Publishers Princeton University Press
Pages 284
Dimensions 152 × 229 × 18 mm   ·   567 g
Language English  
Show all

More by Robert P. Kurshan

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