Real-time systems : formal specification and automatic verification Realtime systems formal specification and automatic verification

Contributor(s):

Publication details: "Cambridge, UK ; New York"; Cambridge University Press; 2008Edition: "xvi, 320 p. : ill. ; 26 cm., hbk"ISBN:

DDC classification:

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Barcode
Books	Anna Centenary Library 3RD FLOOR, A WING	004 OLD (Browse shelf(Opens below))	Available	584646
Books	Anna Centenary Library 3RD FLOOR, A WING	004 OLD (Browse shelf(Opens below))	Available	103320

Previous								Next
Previous	004 MER System Design Automation : Fundamentals, Principles, Methods, Examples	004 MUL The Complexity Of Simple Computer Architectures	004 NIS The Elements Of Computing Systems Building A Modern Computer From First Principles	004 OLD Real-time systems : formal specification and automatic verification	004 OLD Real-time systems : formal specification and automatic verification	004 O'R A Brief History of Computing,	004 OVE Now you know zire	Next

There are no comments on this title.

to post a comment.

Find us on the map