Formal methods for components and objects 5th international symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006 : revised lectures /
Corporate Authors: | FMCO 2006 Amsterdam, Netherlands, ProQuest (Firm) |
---|---|
Other Authors: | Boer, Frank S. de |
Format: | Electronic Conference Proceeding Book |
Language: | English |
Published: |
Berlin :
Springer,
2007
|
Series: | LNCS sublibrary Programming and software engineering.
Lecture notes in computer science 4709 |
Subjects: |
Similar Items
-
Formal methods for components and objects : 5th international symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10, 2006 : revised lectures /
Published: (2007) -
Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures /
Published: (2005) -
Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003 : revised lectures /
Published: (2004) -
Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures /
Published: (2003) -
Formal methods for components and objects 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures /
Published: (2006)