Verification of Digital and Hybrid Systems
Material type:
TextSeries: NATO ASI Series F : Computer and Systems Sciences, Vol. 170Publication details: Berlin ; Springer ; 2000Description: 405ISBN: 3 540 65595 6Subject(s): Computer Systems - Verification
BOOKS
| Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | 681.3 INAN (Browse shelf (Opens below)) | Available | 42679 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
|
|
|
|
||
| 681.3 INAN Verification of Digital and Hybrid Systems | 681.3 JON Qualified Types : Theory and Practice | 681.3 JON Python for Biologists | 681.3 JONE Computer Graphics through Key Mathematics |
There are no comments on this title.