Synchronous Equivalence : formal methods for embedded systems Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli

By:

Contributor(s):

Publication details: Boston Kluwer Academic Publishers 2001Description: x, 136 p ill. 25 cmISBN:

Subject(s):

DDC classification:

Online resources:

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
Reference	Anna Centenary Library 3RD FLOOR, A WING	004.16 HSI (Browse shelf(Opens below))	Not for loan	209991

Previous								Next
Previous	004.16 GHO 8051 Microcontroller : Internals, Instructions, Programming & Interfacing : internals, instructions, programming & interfacing	004.16 GHO 8051 Microcontroller : Internals, Instructions, Programming & Interfacing : internals, instructions, programming & interfacing	004.16 HAL Computer for the Beginners using a computer for the first time	004.16 HSI Synchronous Equivalence : formal methods for embedded systems	004.16 IBR Sd Card Projects Using The Pic Microcontroller	004.16 INS Tcp/ip Embedded Internet Applications :	004.16 KAN;1 Microprocessors and Microcontrollers: includes 8085 microprocessors, 8086 microprocessors, advance microprocessors microcontrollers	Next

Includes bibliographies and index

There are no comments on this title.

to post a comment.

Find us on the map