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 |
Browsing TUNGUU LENDING LIBRARY Shelves Close shelf browser
004.22 Computer organization and design : | 004.22 MUR 1 Computer Architecture and Organization: | 004.29 Rapid contextual design : | 004.33 Real-time systems : | 004.36 Distributed systems | 004.36 Distributed systems | 004.36 Distributed systems |
INDEX
There are no comments for this item.