Search Results
Showing Item 55 of 971
PreviousNext
Formal Methods for Components and Objects 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
E-book
Electronic resources
Record details
- ISBN: 9783642406157
-
Physical Description:
electronic
electronic resource
access
remote
X, 241 p. 125 illus. online resource. - Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 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 |
Search for related items by series
Search Results
Showing Item 55 of 971
PreviousNext