Real-time systems : formal specification and automatic verification / Ernst-Rüdiger Olderog and Henning Dierks.
By: Olderog, E.-R
.
Contributor(s): Dierks, Henning.
Publisher: Cambridge : Cambridge University Press, 2008Description: xvi, 320 p. : ill. ; 26 cm.ISBN: 0521883334 (hbk.); 9780521883337 (hbk.).Subject(s): Real-time data processing![](/opac-tmpl/bootstrap/images/filefind.png)
Item type | Current location | Call number | Status | Notes | Date due | Barcode | Remark |
---|---|---|---|---|---|---|---|
Main Collection | TU External Storage-LCS | 004.33 OLD 2008 (Browse shelf) | Available | SOCIT,15008,03,GR | 5000122337 | Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1 |
Includes bibliographical references (p. 304-311) and index.