![Cover image for Applied formal verification Cover image for Applied formal verification](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
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... |