{"product_id":"computer-aided-verification-of-coordinating-processes-the-automata-theoretic-approach-princeton-legacy-library","title":"Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Legacy Library)","description":"\u003cp\u003e\u003cstrong\u003eBook Details\u003c\/strong\u003e\u003c\/p\u003e\n\u003cul\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eAuthor\u003c\/strong\u003e: Robert P. Kurshan\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eBrand\u003c\/strong\u003e: Princeton University Press\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eBinding\u003c\/strong\u003e: Paperback\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Import\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eNumber of Pages\u003c\/strong\u003e: 284\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eRelease Date\u003c\/strong\u003e: 14-07-2014\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eISBN\u003c\/strong\u003e: 9780691606057\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003ePackage Dimensions\u003c\/strong\u003e: 9.1 x 6.1 x 1.0 inches\u003c\/p\u003e\n\u003c\/li\u003e\n\u003cli\u003e\n\u003cp\u003e\u003cstrong\u003eLanguages\u003c\/strong\u003e: English\u003c\/p\u003e\n\u003c\/li\u003e\n\u003c\/ul\u003e\n\u003cp\u003e\u003cstrong\u003eAbout The Book\u003c\/strong\u003e\u003cbr\u003e\u003cstrong\u003e\"Computer-Aided Verification of Coordinating Processes\"\u003c\/strong\u003e 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.\u003c\/p\u003e","brand":"Princeton University Press","offers":[{"title":"Default Title","offer_id":49921618149680,"sku":"Sarat_9780691606057","price":3634.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0690\/9968\/4144\/files\/princeton-university-press-book-default-title-computer-aided-verification-of-coordinating-processes-the-automata-theoretic-approach-princeton-legacy-library-41237260927280.jpg?v=1775966374","url":"https:\/\/www.retailmaharaj.com\/products\/computer-aided-verification-of-coordinating-processes-the-automata-theoretic-approach-princeton-legacy-library","provider":"Retail Maharaj","version":"1.0","type":"link"}