Verification and Analysis of Computer Systems by Skinner, Henry
Kalaignar Centenary Library, Madurai · reference copy, to be read in the library
Where to find it: Fourth floor, call number 004.35 SKI.
Book details
- Author
- Skinner, Henry
- Publisher
- NY Research Press
- Year
- 2023
- Pages
- 250
- ISBN
- 9781647253752
Copies in the library (1)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Fourth floor | 004.35 SKI | 151148 | Reference only (read in the library) |
Next to this on the shelf
- Theory of Computation Simplified 004.35 PAT
- MCA;Distributed Computing and Linux 004.35 PER
- Understanding Concurrent Systems (Sie) (Pb 2011) 004.35 ROS
- Understanding Concurrent Systems (Sie) (Pb 2011) 004.35 ROS
- Verification and Analysis of Computer Systems (this book)
- Fundamentals Of Parallel Multicore Architecture 004.35 SOL
- Deep Mediatization: Concepts and Transformations in Communication 004.35 SUL
- Discrete structure & automata theory for leaners : learn discrete structure concepts and automata theory with jflap 004.35 UME
- Architecting For Scale 004.36 ATC