Applied formal verification [Book] / Douglas L. Perry, Harry D. Foster.

By:

Contributor(s):

Material type: Text

TextSeries: Publication details: New York : McGraw-Hill, c2005.Description: xiv, 237 p. : ill. ; 24 cmISBN:

Subject(s):

DDC classification:

Other classification:

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	Item holds
Books	Junaid Zaidi Library, COMSATS University Islamabad	621.3815 PER-A (Browse shelf(Opens below))	Available		28321

Total holds: 0

Previous								Next
Previous	621.3815 PAY-I Introductory electronic devices and circuits conventional flow version /	621.3815 PAY-I Introductory electronic devices and circuits	621.3815 PEL-A 61299 GPSS simulation made simple	621.3815 PER-A Applied formal verification	621.3815 PHY Physics and technology of heterojunction devices	621.3815 PRA-A 62621 Analog and digital electronic circuits fundamentals, analysis, and applications /	621.3815 PRO Proceedings of the International Conference on Quantum Devices and Circuits Alexandria, Egypt 4-7 June 1996 /	Next

Index includes

All.

There are no comments on this title.

to post a comment.