Normal view MARC view ISBD view

Real-time systems : formal specification and automatic verification / Ernst-Rudiger Olderog and Henning Dierks.

By: Olderog, E.-R.

Contributor(s): Dierks, H.

Material type: Text

TextPublisher: Cambridge, UK ; New York : Cambridge University Press, 2008Description: xvi, 320 p., UKP 19.20 ill. ; 26 cm.ISBN: 0521883334 (hbk.); 9780521883337 (hbk.).Subject(s): Real-time data processingDDC classification: 004.33

Holdings ( 1 )
Title notes

Item type	Current location	Call number	Status	Date due	Barcode	Item holds
Book	Chennai Mathematical Institute General Stacks	004.33 OLD (Browse shelf)	Available		8343

Total holds: 0

Browsing Chennai Mathematical Institute Shelves , Shelving location: General Stacks Close shelf browser

Previous		No cover image available No cover image available						Next
Previous	004.015 SAN An introduction to bisimulation and coinduction /	004.09 DAV The Engines of Logic mathematicians and the origin of the computer	004.092 SHA Out of their minds : the lives and discoveries of 15 great computer scientists /	004.33 OLD Real-time systems : formal specification and automatic verification /	004.35 KHE Data flow analysis : theory and practice /	004.36 ATT Distributed computing : fundamentals, simulations, and advanced topics /	004.36 ATT Impossibility Results for Distributed Computing	Next

Includes bibliographical references (p. 304-311) and index.

CMI Library

Real-time systems : formal specification and automatic verification / Ernst-Rudiger Olderog and Henning Dierks.

By: Olderog, E.-R.

Contributor(s): Dierks, H.

Browsing Chennai Mathematical Institute Shelves , Shelving location: General Stacks Close shelf browser