Southeast University Library

Your cart is empty.

SOUTHEAST UNIVERSITY LIBRARY ONLINE CATALOG

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

By: Perry, Douglas L
Contributor(s): Foster, Harry, 1956-
Material type: TextTextSeries: Publisher: New York : McGraw-Hill, c2005Description: xiv, 237 p. : ill. ; 24 cmISBN: 007144372XSubject(s): Integrated circuits- Verification | Electronic circuits- TestingDDC classification: 621.3815 Online resources: Download
List(s) this item appears in: EEE
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Home library Collection Call number Vol info Copy number Status Date due Barcode Item holds
Books Southeast University Central Library

Library service hours: 

Fri Sat Sun-Thu
9am-5pm 9am-5pm 9am-8pm
General Stacks 		Southeast University Central Library

Library service hours: 

Fri Sat Sun-Thu
9am-5pm 9am-5pm 9am-8pm
General Stacks 		Non-fiction 621.3815 P462a (Browse shelf) 2005 C- 1 Available 009958
Total holds: 0

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

EEE

There are no comments on this title.

to post a comment.