Formal methods in computer-Aided design Mandayam Srivas

By:

Material type: Text

TextPublication details: New York Springer 1996Description: ix, 470pISBN:

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

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	Library and Documentation Division	621.392 F765 (Browse shelf(Opens below))	Available		061011

Previous							No cover image available	Next
Previous	621.392 C314V Verilog HDL	621.392 D355P Parallel processing arthitectures and VLSI hardware	621.392 D49 Developing web- based instruction	621.392 F765 Formal methods in computer-Aided design	621.392 G346H Hardware description languages	621.392 H484C Computer systems design & architecture	621.392 K128E Embedded system	Next

There are no comments on this title.

to post a comment.