Handbook of Computer Aided Verification by Dean, Jordan
Kalaignar Centenary Library, Madurai · reference copy, to be read in the library
Where to find it: Fourth floor, call number 4.0151 DEA.
Book details
- Author
- Dean, Jordan
- Publisher
- Willford Press
- Year
- 2023
- Pages
- 246
- ISBN
- 9781647284404
Copies in the library (1)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Fourth floor | 4.0151 DEA | 159449 | Reference only (read in the library) |
Next to this on the shelf
- Applied Reconfigurable Computing. Architectures, Tools, and Applications, 16th International Symposium, Arc 2020, Toledo, Spain, April 1–3, 2020, Proceedings 4 RIN
- Context Management for Distributed and Dynamic Context-aware Computing, 4 ROC
- 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 (this book)
- Designing Human-centric Ai Experiences: Applied Ux Design for Artificial Intelligence 4.019 KOR
- Computer-Aided Verification Of Coordinating Processes: The Automata-Theoretic Approach 4.019 KUR
- 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