Temporal verification of reactive systems : safety / Zohar Manna, Amir Pnueli.
Material type: TextPublication details: New York : Springer, c1995.Description: xviii, 512 p. : ill. ; 25 cmISBN:- 9781461287018
- 005.2 20 MAT
Item type | Current library | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
Books | Library, Institute of Information and Communication Technology General Stacks | 005.2 MAT (Browse shelf(Opens below)) | 1 | Available | I000453 | |
Books | Library, Institute of Information and Communication Technology General Stacks | 005.2 MAT (Browse shelf(Opens below)) | 2 | Available | I000454 | |
Books | Library, Institute of Information and Communication Technology General Stacks | 005.2 MAT (Browse shelf(Opens below)) | 3 | Available | I000455 |
Browsing Central Library, SUST shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
No cover image available No cover image available | ||||||||
005.2 MAM MCSE exam notes : | 005.2 MAM MCSE exam notes : | 005.2 MAM MCSE exam notes : | 005.2 MAT Temporal verification of reactive systems : | 005.2 MAT Temporal verification of reactive systems : | 005.2 MAT Temporal verification of reactive systems : | 005.2 PEC Creating cool Web applets with Java / |
Includes bibliographical references (p. [465]-479) and indexes.
There are no comments on this title.