Computer Aided Verification Techniques and Applications
Material type:
TextPublisher number: Southern Book SellersPublication details: USA Clanrye International, 2023Description: 239ISBN: 9781647265861Subject(s): Computer Science and applications | Computer Science and applications
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
Reference Book
|
Arrupe Library and Information Centre | 001.642 DEA (Browse shelf(Opens below)) | Not for loan | 103920 |
Total holds: 0
Browsing Arrupe Library and Information Centre shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available |
|
|
|
|
|
||
| 001.642 COL Structured Systems Development Techniques | 001.642 CON Basic for Beginners | 001.642 DAL Pascal Plus Data Structures, Algorithms, and Advanced Programming | 001.642 DEA Computer Aided Verification Techniques and Applications | 001.642 DEI JAVA : How to Program | 001.642 DHA Systems Programming and Operating Systems | 001.642 DHA Systems Programming and Operating Systems |
23/04/2025
There are no comments on this title.