Olderog, E.-R.
Real-time systems : formal specification and automatic verification / Ernst-Rüdiger Olderog and Henning Dierks. - Cambridge : Cambridge University Press, 2008. - xvi, 320 p. : ill. ; 26 cm.
Includes bibliographical references (p. 304-311) and index.
0521883334 (hbk.) 9780521883337 (hbk.)
Real-time data processing.
004.33 / OLD 2008
Real-time systems : formal specification and automatic verification / Ernst-Rüdiger Olderog and Henning Dierks. - Cambridge : Cambridge University Press, 2008. - xvi, 320 p. : ill. ; 26 cm.
Includes bibliographical references (p. 304-311) and index.
0521883334 (hbk.) 9780521883337 (hbk.)
Real-time data processing.
004.33 / OLD 2008