Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Legacy Library)
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Legacy Library) is backordered and will ship as soon as it is back in stock.
Couldn't load pickup availability
Genuine Products Guarantee
Genuine Products Guarantee
We guarantee 100% genuine products, and if proven otherwise, we will compensate you with 10 times the product's cost.
Delivery and Shipping
Delivery and Shipping
Products are generally ready for dispatch within 1 day and typically reach you in 3 to 5 days.
Computer-Aided Verification of Coordinating Processes: The Automata...
Book Details
-
Author: Robert P. Kurshan
-
Brand: Princeton University Press
-
Binding: Paperback
-
Format: Import
-
Number of Pages: 284
-
Release Date: 14-07-2014
-
ISBN: 9780691606057
-
Package Dimensions: 9.1 x 6.1 x 1.0 inches
-
Languages: English
About The Book
"Computer-Aided Verification of Coordinating Processes" by Robert P. Kurshan provides an in-depth look at the verification techniques for coordinating systems. Aimed at researchers and students in the fields of computer science, engineering, and mathematics, the book covers fundamental methods in computer-aided verification and their applications to complex systems. It explains how to apply these techniques to ensure the correctness of hardware and software components that interact and coordinate with one another. This work is essential for anyone interested in system verification and formal methods.
