Image from Amazon.com
Symbolic model checking
Material type:
TextPublication details: Boston; Kluwer academic publishers; 1993Description: 194ISBN: - 0-7923-9380-5
BOOKS
| Home library | Call number | Materials specified | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| IMSc Library | 681.3.06 MCM (Browse shelf(Opens below)) | Available | 35864 |
There are no comments on this title.
Log in to your account to post a comment.