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

Includes bibliographies and index

There are no comments on this title.

to post a comment.

Find us on the map