Title:
Formal methods for industrial critical systems a survey of applications
Author:
Gnesi, Stefania, 1954-
ISBN:
9781118459898
9781118459867
Publication Information:
Hoboken, New Jersey : John Wiley & Sons Inc., [2012]
Physical Description:
1 online resource.
Genre:
Electronic Access:
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6381798Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 249398-1001 | ONLINE | Searching... | Searching... |