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

By:

Contributor(s):

Material type: Text

TextLanguage: English Series: McGraw-Hill electronic engineering seriesPublication details: New York : McGraw-Hill, c2005.Description: xiv, 237 p. : ill. ; 24 cmISBN:

Subject(s):

DDC classification:

Online resources:

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

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	Eastern University Library General Stacks	621.3815 PEA 2005 (Browse shelf(Opens below))	Not For Loan		07976
Books	Eastern University Library General Stacks	621.3815 PEA 2005 (Browse shelf(Opens below))	Available		07977

Includes bibliographical references (p. 227-229) and index.

There are no comments on this title.

to post a comment.