Verification of Systems and Circuits Using Lotos, Petri Nets, and Ccs
Material type: TextPublication details: New Jersey John Wiley & Sons 2008Description: xv, 231 p. ; 24 cmISBN:- 9780471704492
- 621.381548 YOE
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Reference Books | LRC, IIT Indore 3rd Floor - Reference Collection | Reference | 621.381548 YOE (Browse shelf(Opens below)) | Not For Loan | 9686 |
Total holds: 0