E-book
Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Record details
- ISBN: 9783642406157
-
Physical Description:
electronic
electronic resource
access
remote
X, 241 p. 125 illus. online resource. - Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Search for related items by subject
| Subject: | Computer science Software engineering Logic design Computer Science Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages |
