Reactive systems : modelling, specification and verification Luca Aceto ... [et al.].
Material type:
TextPublication details: Cambridge : Cambridge University Press, 2007.Description: xvi, 284 p. : ill. ; 26 cmISBN: - 9780521875462 (hbk.)
- 0521875463 (hbk.)
- 006.330151 Ac37R 23
- QA76.76.E95 R39 2007
| Item type | Current library | Collection | Call number | Status | Notes | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
Books
|
Central Library, IISER Bhopal General Section | 006.330151 Ac37R (Browse shelf(Opens below)) | Available | 8793 | ||||
|
Books
|
Central Library, IISER Bhopal General Section | 006.330151 Ac37R (Browse shelf(Opens below)) | Available | 8791 | ||||
|
Books
|
Central Library, IISER Bhopal General Section | 006.330151 Ac37R (Browse shelf(Opens below)) | Available | 8792 | ||||
|
Books
|
Central Library, IISER Bhopal General Section | 006.330151 Ac37R (Browse shelf(Opens below)) | Available | 8794 | ||||
|
Books
|
Central Library, IISER Bhopal Reference Section | Reference | 006.330151 Ac37R (Browse shelf(Opens below)) | Not For Loan | Reserve | 8703 |
Browsing Central Library, IISER Bhopal shelves, Shelving location: Reference Section, Collection: Reference Close shelf browser (Hides shelf browser)
| 006.312 R27P Process mining in action: | 006.312 V23P Python data science handbook : | 006.312 V23P Python data science handbook : | 006.330151 Ac37R Reactive systems : | 006.37 F775C2 Computer vision : | 006.37 H255M2 Multiple view geometry in computer vision | 006.38 Sch28M Mathematics of quantum computing: |
Includes bibliographical references (p. 267-279) and index.
There are no comments on this title.
Log in to your account to post a comment.