Image from Amazon.com
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
Browsing IIITD shelves, Shelving location: Reference, Collection: Computer Science and Engineering Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| REF 006.32 HAY-N Neural networks and learning machines | REF 006.32 HOP-W Weakly connected neural networks | REF 006.32 MON-N Neural networks : | REF 006.330 ACE-R Reactive systems : | REF 006.33 CHE-T Terrorism informatics : | REF 006.33 RIC-R Recommender systems handbook | REF 006.35 ALL-N Natural language understanding |
Includes bibliographical references (p. 267-279) and index.
There are no comments on this title.