New Paradigms in Computer Aided Verification by Keating, Tyler
Kalaignar Centenary Library, Madurai · reference copy, to be read in the library
Where to find it: Sixth floor, call number 632 KEA.
Book details
- Author
- Keating, Tyler
- Publisher
- States academic press
- Year
- 2023
- Pages
- 250
- ISBN
- 9781639896905
Copies in the library (1)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Sixth floor | 632 KEA | 109695 | Reference only (read in the library) |
Next to this on the shelf
- Fundamentals of Plant Pathology 632 BEN
- Plant Pathology 632 BUR
- Diseases Of Field And Horticultural Crops 632 CHO
- Textbook of Plant Diseases 632 JHA
- New Paradigms in Computer Aided Verification (this book)
- Encyclopaedia Of Plant Pathology (Set Of 2 Vols.) 632 MAT.1
- Encyclopaedia Of Plant Pathology (Set Of 2 Vols.) 632 MAT.2
- Food and Energy Security: Challenges and Concerns 632 MCC
- Fundamentals of Plant Diseases 632 NWO