Real-time systems : formal specification and automatic verification / Ernst-Rüdiger Olderog and Henning Dierks.
By: Olderog, E.-R.
Contributor(s): Dierks, H.
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 |
TUNGUU LENDING LIBRARY
Welcome to Tunguu Lending Library |
004.33 (Browse shelf) | Available | L000000011 |
INDEX
There are no comments for this item.