Frank S. de Boer

	Formal Methods for Components and Objects (eBook / PDF) 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 2011, Englisch Springer Berlin PDF, mit DRM	Print-Originalausgabe Fr. 79.90 Fr. 72.00 Sie sparen 10%	Best Nr. 36369608 eBook sofort als Download lieferbar

	Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 2011, XI, 391 Seiten, 145 Schwarz-Weiss-Abbildungen, Masse: 15,7 x 23,9 cm, Kartoniert (TB), Englisch Springer-Verlag GmbH	Fr. 79.90	Best Nr. 37922211 sofort lieferbar

	Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers 2011, X, 339 Seiten, Masse: 15,6 x 23,8 cm, Kartoniert (TB), Englisch Springer-Verlag GmbH	Fr. 84.90	Best Nr. 28029486 sofort lieferbar

	Formal Methods for Components and Objects 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures 2006, 444 Seiten, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch Springer	Fr. 116.90	Best Nr. 12126694 lieferbar in 3 Tag(en)

	Formal Methods for Components and Objects, FMCO 2003 Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 2004, 384 Seiten, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch Springer-Verlag GmbH	Fr. 84.90	Best Nr. 4279253 lieferbar in 3 Tag(en)

	Marcello Bonsangue, Susanne Graf, Willem P. DeRoever Formal Methods for Components and Objects, FMCO 2002 First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002. Revised Lectures 2003, 524 Seiten, Masse: 15,5 x 23,5 cm, Kartoniert (TB), Englisch Springer-Verlag GmbH	Fr. 124.90	Best Nr. 11219766 lieferbar in 3 Tag(en)

	Formal Methods for Components and Objects 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey 2009, X, 297 Seiten, Masse: 15,7 x 24,1 cm, Kartoniert (TB), Englisch Springer-Verlag GmbH	Fr. 94.90	Best Nr. 21024283 sofort lieferbar

	Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog Verification of Sequential and Concurrent Programs 2009, 3rd ed., XXIII, 502 Seiten, 26 Schwarz-Weiss-Abbildungen, Masse: 15,5 x 23,5 cm, Gebunden, Englisch Springer-Verlag GmbH	Fr. 99.90	Best Nr. 1072708 sofort lieferbar

	Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures 2008, X, 313 Seiten, Masse: 15,6 x 24,2 cm, Kartoniert (TB), Englisch Springer-Verlag GmbH	Fr. 84.90	Best Nr. 19263374 sofort lieferbar

	Formal Methods for Open Object-Based Distributed Systems 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings 2008, X, 259 Seiten, Masse: 15,9 x 23,9 cm, Kartoniert (TB), Englisch Springer-Verlag GmbH	Fr. 99.90	Best Nr. 19381995 sofort lieferbar

	Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures 2008, VIII, 297 Seiten, Masse: 15,4 x 23,8 cm, Kartoniert (TB), Englisch Springer-Verlag GmbH	Fr. 84.90	Best Nr. 19183292 sofort lieferbar