Computer-Aided Verification Of Coordinating Processes: The Automata-Theoretic Approach by Kurshan
Kalaignar Centenary Library, Madurai · reference copy, to be read in the library
Where to find it: Fourth floor, call number 4.019 KUR.
Book details
- Author
- Kurshan
- Publisher
- Princeton University Press
- Year
- 2019
- ISBN
- 9780691634890
Copies in the library (1)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Fourth floor | 4.019 KUR | 348037 | Reference only (read in the library) |
Next to this on the shelf
- Unravelling Complexity: the Life and Work of Gregory Chaitin 4.01 DOR
- Data Analysis for Direct Numerical Simulations of Turbulent Combustion, From Equation-based Analysis to Machine Learning 4.015 PIT
- Handbook of Computer Aided Verification 4.0151 DEA
- Designing Human-centric Ai Experiences: Applied Ux Design for Artificial Intelligence 4.019 KOR
- Computer-Aided Verification Of Coordinating Processes: The Automata-Theoretic Approach (this book)
- How to Compete in the Age of Artificial Intelligence. 4.019 MOH
- Context-aware Systems and Applications, and Nature of Computation and Communication, 9th Eai International Conference, Iccasa 2020, and 6th Eai International Conference, Ictcc 2020, Thai Nguyen, Vietnam, November 26–27, 2020, Proceedings 4.019 VIN
- Global Dictionary Of Computer Science(New) 4.03 VAR
- Supercomputing Handbook 4.032 HEN