Title:
Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Author:
Giachino, Elena. editor.
ISBN:
9783642406157
Physical Description:
X, 241 p. 125 illus. online resource.
Series:
Lecture Notes in Computer Science, 7866
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-40615-7Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 334978-1001 | ONLINE(334978.1) | Searching... | Searching... |