Cover Image
Read Now

1
Published 2008
Springer Berlin Heidelberg
“..., The Netherlands, in October 2007. This book presents 12 revised papers submitted after the symposium...”
Cover Image
Read Now

2
Published 2005
Springer Berlin Heidelberg
“... for Components and Objects, FMCO 2004, held in Leiden, The Netherlands, in November 2004. The 14 revised lectures...”
Cover Image
Read Now

3
Published 2006
Springer Berlin Heidelberg
“... International Symposium on Formal Methods for Components and Objects, FMCO 2005, held in Amsterdam, Netherlands...”
Cover Image
Read Now

4
Published 2007
Springer Berlin Heidelberg
“... for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands, in November 2006. The book provides a...”