Applied formal verification : simulation-based verification, developing a formal test plan, system-level simulation. Douglas L. Perry and Harry D. Foster

By:

Contributor(s):

Material type: Text

TextSeries: McGraw-Hill Electronic EngineeringPublication details: NewYork McGraw-Hill 2005Description: xiv,237p.; 23cmISBN:

Subject(s):

DDC classification:

Online resources:

Item type:

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

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
Books	North Eastern Hill University	Gifts	620.0044 (Browse shelf(Opens below))	Available		238123

Total holds: 0

Previous			No cover image available No cover image available					Next
Previous	616.9940092 MUK Emperor of all maladies : a biography of cancer	616.9940710287 SHO Short-term tests for chemical carcinogens	620.00110151 KAP Chaos for engineers : theory, applications, and control	620.0044 Applied formal verification : simulation-based verification, developing a formal test plan, system-level simulation.	620.1 ARU Engineering physics	620.1 BAN Textbook of engineering mechanics in S.I. units for degree B.E./B.Tech. 1st year	620.1 JAI Textbook of engineering physics Part II	Next

There are no comments on this title.

to post a comment.