Introduction to practical formal methods using temporal logic
Material type: TextPublication details: New york ; Wiley ; 2011Description: 353ISBN: 9780470027882Subject(s): Temporal automata Logic symbolic and mathematicalCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6 FIS (Browse shelf (Opens below)) | Available | 69711 |
There are no comments on this title.