Reactive systems : modelling, specification and verification
Material type: TextPublication details: New Delhi ; New York : Cambridge University Press, ©2007.Description: xvi, 284 p. : ill. ; 26 cmISBN:- 9780521875462
- 006.33 22
- QA76.76.E95 R39 2007
Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | IIITD Reference | Computer Science and Engineering | REF 006.330 ACE-R (Browse shelf(Opens below)) | Available | 000068 |
Total holds: 0
Includes bibliographical references (p. 267-279) and index.
There are no comments on this title.