Real-time systems : formal specification and automatic verification / Ernst-R©ơdiger Olderog and Henning Dierks
By: Olderog, E.-R.
Contributor(s): Dierks, Henning.
Material type: TextPublisher: Cambridge, UK ; New York : Cambridge University Press, 2008Description: xvi, 320 p. : ill. ; 26 cm.ISBN: 0521883334 (hbk.); 9780521883337 (hbk.).Subject(s): Real-time data processingDDC classification: 004.33Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Books |
SCHOOL OF HEALTH AND MEDICAL SCIENCES LIBRARY
School of Health and Medical sciences Library Mbweni |
004.33 (Browse shelf) | Available | M000000006 | |
Books |
SCHOOL OF HEALTH AND MEDICAL SCIENCES LIBRARY
School of Health and Medical sciences Library Mbweni |
004.33 (Browse shelf) | Available | M000000005 |
There are no comments for this item.