Computer Aided Verification: Emerging Trends by Keating, Tyler
Kalaignar Centenary Library, Madurai · reference copy, to be read in the library
Where to find it: Fourth floor, call number 004.0151 KEA.
Book details
- Author
- Keating, Tyler
- Publisher
- Murphy & Moore Publishing
- Year
- 2023
- Pages
- 235
- ISBN
- 9781639876938
Copies in the library (1)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Fourth floor | 004.0151 KEA | 151833 | Reference only (read in the library) |
Next to this on the shelf
- Quantum Computing, 004.0151 HIR
- Automated Theory, Languages And Computation 004.0151 HOP
- Objective Computer Science and Information Technology 004.0151 JAI
- Objective Computer Science And Information Technology 004.0151 JAI
- Computer Aided Verification: Emerging Trends (this book)
- Classical and Quantum Computation 004.0151 KIT
- Discrete Mathematics And Logic Design 004.0151 LAL
- Computational Problems For Physics:With Guided Solutions Using Python 004.0151 LAN
- Theoretical Computer Science 004.0151 LAT