Temporal verification of reactive systems : safety / by Zohar Manna.
Material type: TextPublication details: New York : Springer, 1995.Description: xviii, 512 p. : illISBN:- 9780387944593
- 005.2 22 MAN/T
Item type | Current library | Home library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Technical Reference Book | Central Library, IIT Bhubaneswar | Central Library, IIT Bhubaneswar | 005.2 MAN/T (Browse shelf(Opens below)) | Available | 7432 |
Total holds: 0
Include Index
There are no comments on this title.