Normal view MARC view ISBD view

Real-time systems : formal specification and automatic verification

Material type: materialTypeLabel

BookPublisher: Cambridge: Cambridge University Press, 2008Description: xvi, 320 p.; ill.: 25 cm.ISBN: 9780521883337 .Subject(s): Real-time data processing | PLC automata | Automatic verification | Tool MOBY/RTDDC classification: 004.33

Tags from this library: No tags from this library for this title. Log in to add tags.

Item type	Current location	Call number	Status	Date due	Barcode
Books		004.33 OLD (Browse shelf)	Available		021428
Books		004.33 OLD (Browse shelf)	Available		020811

Previous	No cover image available							Next
Previous	004.33 MAT Real-time workshop	004.33 MIN FSM-based digital design using Verilog HDL	004.33 MIN FSM-based digital design using Verilog HDL	004.33 OLD Real-time systems : formal specification and automatic verification	004.33 OLD Real-time systems : formal specification and automatic verification	004.33 PAT Advanced Test in C and Embedded System Programming	004.33 SCH Concurrent and real-time systems : the CSP approach	Next

There are no comments for this item.

Koha online