Title:
Applied formal verification
Author:
Perry, Douglas L.
ISBN:
9780071588898
Publication Information:
New York : McGraw Hill Professional, 2011.
Physical Description:
1 electronic text (xiv, 237 p. : ill.) : PDF file.
Series:
McGraw Hill ebook library. Engineering and computing. Electrical and electronic
Series Title:
McGraw Hill ebook library. Engineering and computing. Electrical and electronic
Added Author:
Electronic Access:
Subscription requiredCopies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 293531-1001 | ONLINE | Searching... | Searching... |