Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Legacy Library) Jekyll Author: Brachet

Author: Brachet

seeking to untangle the mysteries surrounding their practices

imaginative jeu d'esprit

stable and unstable angina

a small independent kingdom in Central India

Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Legacy Library) Jekyll Author: BrachetBook 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