An edition of Formal Methods for Components and Objects
(2010)
Formal Methods for Components and Objects
8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
by Frank S. de Boer
Share
×Close
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The 8 lectures featured in this volume are by world-renowned experts within the area of formal models for objects and components. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Logic design, Computer science, Software engineering, Operating systems (Computers), Software Engineering/Programming and Operating Systems, Komponente (Software), Komponente <Software>, Formale Methode, Objektorientierung, Programming Techniques, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Softwareentwicklung, Operating Systems, Formal methods (Computer science), Congresses, Component software, Object-oriented programming (Computer science), Computer software, Miniature objects, System design, Mathematical Logic and Formal Languages| Edition | Availability |
|---|---|
1
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
Aug 26, 2013, Springer
paperback
3642406149 9783642406140
|
zzzz
|
2
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
2010, Springer Berlin Heidelberg
electronic resource :
in English
3642170706 9783642170706
|
aaaa
|
Book Details
Edition Notes
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
| September 21, 2024 | Edited by MARC Bot | import existing book |
| October 5, 2021 | Edited by ImportBot | import existing book |
| October 4, 2021 | Edited by ImportBot | import existing book |
| September 25, 2020 | Edited by MARC Bot | import existing book |
| July 30, 2014 | Created by ImportBot | import new book |