CURRENTLY SOLD OUT

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2006)