Verification of Systems and Circuits Using Lotos, Petri Nets, and Ccs by Yoeli
Kalaignar Centenary Library, Madurai · reference copy, to be read in the library
Where to find it: Fourth floor, call number 005.1 YOE.
Book details
- Author
- Yoeli
- Publisher
- Wiley
- Year
- 2008
- Pages
- 248
- ISBN
- 9780471704492
Copies in the library (1)
| Floor | Call number | Barcode | Status |
|---|---|---|---|
| Fourth floor | 005.1 YOE | 200623 | Reference only (read in the library) |
Next to this on the shelf
- Wiley's ISRO Scientist/engineer (Scientist-c) Computer Science Solved Papers and Practice Tests (2007-2020) | E 005.1 WIL
- Gate Computer Science and Information Technology Chapter Wise Solved Papers 2000-2020 005.1 WIL
- Software Engineering At Google 005.1 WIN
- Algorithm Design Practice For Collegiate Programming Contests And Education 005.1 WU
- Verification of Systems and Circuits Using Lotos, Petri Nets, and Ccs (this book)
- Building Blockchain Apps 005.1 YUA
- Algorithms And Data Structures 005.1 ZHA
- A Tour Of Data Science 005.1 ZHA
- Software Engineering for Enterprise System Agility: Emerging Research and Opportunities 005.1 ZYK