Home > Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
Book Informaton
Author
Frank S. de Boer; Marcello M. Bonsangue; Stefan Hallerstede; Michael Leuschel
Series
Lecture Notes in Computer Science
Volume
6286
Year of Publication
2011
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin, Heidelberg
Pages
X, 339
Language
en
ISBN
9783642170706, 9783642170713
ARI Id
1664717414455
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationShowing 1 to 18 of 18 entries
Chapters/Headings | Author(s) | Pages | Info |
1-20 | |||
21-40 | |||
41-69 | |||
70-88 | |||
89-104 | |||
105-124 | |||
125-146 | |||
147-165 | |||
166-185 | |||
186-207 | |||
208-227 | |||
228-249 | |||
250-271 | |||
272-289 | |||
290-310 | |||
311-337 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 18 of 18 entries
Topics
Logic design Computer science Software engineering Operating systems (Computers) Software Engineering/Programming and Operating Systems Komponente (Software) Software Engineering Komponente 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 Object-oriented programming (computer science) Miniature objects System design