Home > Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
Book Informaton
Author
Frank S. Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul Roever
Series
Lecture Notes in Computer Science
Volume
4111
Year of Publication
2006
Publisher
Springer Berlin Heidelberg
Language
EN
ISBN
9783540367499, 9783540367505
ARI Id
1674219725534
This page has been accessed 7 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 21 entries
Chapters/Headings | Author(s) | Pages | Info |
1-21 | |||
22-43 | |||
44-63 | |||
64-87 | |||
88-114 | |||
115-137 | |||
138-160 | |||
161-171 | |||
172-194 | |||
195-218 | |||
219-242 | |||
243-258 | |||
259-279 | |||
280-312 | |||
313-341 | |||
342-363 | |||
364-387 | |||
388-407 | |||
408-427 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 21 entries
Topics
Formal methods (Computer science) Congresses Component software Object-oriented programming (Computer science) Object-oriented programming (computer science) Software engineering Computer science Operating systems (Computers) Logic design Programming Languages Compilers Interpreters Operating Systems Logics and Meanings of Programs Software Engineering/Programming and Operating Systems Programming Techniques