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: General Section Close shelf browser (Hides shelf browser)
006.330151 Ac37R Reactive systems : | 006.330151 Ac37R Reactive systems : | 006.330151 Ac37R Reactive systems : | 006.330151 Ac37R Reactive systems : | 006.35 C660B Biomedical natural language processing | 006.35 C660B Biomedical natural language processing | 006.37 F775C2 Computer vision : |
Includes bibliographical references (p. 267-279) and index.
There are no comments on this title.
Log in to your account to post a comment.