Image from Amazon.com
Real-time systems : formal specification and automatic verification
Material type:
TextPublication details: Cambridge : Cambridge University Press, ©2008.Description: xvi, 320 p. : ill. ; 26 cm (Hardbound)ISBN: - 9780521883337
- 004.33 OLD / B
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|
Book
|
IIT - Dharwad | Computer Science Engineering | 004.33 OLD / B (Browse shelf(Opens below)) | Available | 712 |
Browsing IIT - Dharwad shelves, Collection: Computer Science Engineering Close shelf browser (Hides shelf browser)
|
|
|
|
No cover image available |
|
|
||
| 004.24 BAI / B Principles of model checking | 004.24 BAI / B Principles of model checking | 004.33 LIU / B Real-time systems | 004.33 OLD / B Real-time systems : | 004.35 CDA / G PARCOMPTECH India 2013 : National conference on parallel computing technologies | 004.6 EL / B Network Information Theory | 004.6 JIA / B Stochastic network calculus |
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.