Real time systems formal specification and automatic verification
Material type:
Text 0Description: Hard Binding xiv 320ISBN: - 9780000000000
- 004.33 -R
| Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
COMSATS University Lahore Campus | 004.33 -R (Browse shelf(Opens below)) | 1 | Available | LHR 33887 |
Total holds: 0
Browsing COMSATS University Lahore Campus shelves Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available |
|
No cover image available | No cover image available | No cover image available |
|
||
| 004.33 -R Real time systems | 004.33 -R Real-time systems | 004.33 -R Real time systems Scheduling,analysis,and verification | 004.33 -R Real time systems formal specification and automatic verification | 004.33 -R Real time systems | 004.33 SHA-R Radio Theory and servicing | 004.33 SHA-R Real-Time Systems And Software |
English
There are no comments on this title.