Olderog, E.-R.
Real-time systems : formal specification and automatic verification / Ernst-Rüdiger Olderog and Henning Dierks. - Cambridge, UK ; New York : Cambridge University Press, 2008. - xvi, 320 p. : ill. ; 26 cm.
INDEX
0521883334 (hbk.) 9780521883337 (hbk.)
2009275615
Real-time data processing.
QA76.54 / .O43 2008
004.33
Real-time systems : formal specification and automatic verification / Ernst-Rüdiger Olderog and Henning Dierks. - Cambridge, UK ; New York : Cambridge University Press, 2008. - xvi, 320 p. : ill. ; 26 cm.
INDEX
0521883334 (hbk.) 9780521883337 (hbk.)
2009275615
Real-time data processing.
QA76.54 / .O43 2008
004.33