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:

Item type: Books

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

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library		Available		584646

There are no comments on this title.

to post a comment.

Find us on the map