Title:
Formal Methods for Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings
Author:
Pecheur, Charles. editor.
ISBN:
9783642410109
Physical Description:
XIV, 199 p. 46 illus. online resource.
Series:
Lecture Notes in Computer Science, 8187
Added Author:
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-41010-9Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 335040-1001 | ONLINE(335040.1) | Searching... | Searching... |