Title:
Industrial used of formal method formal verification
Author:
Boulanger, Jean-Louis.
ISBN:
9781848213630
9781118561829
9781299187078
Publication Information:
London : ISTE ; Hoboken, NJ : Wiley, ©2012.
Physical Description:
1 online resource.
Added Author:
Electronic Access:
Wiley http://dx.doi.org/10.1002/9781118561829Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 305391-1001 | ONLINE | Searching... | Searching... |