Click here to skip to this page's main content.

New to the Open Library? — Learn how it works
Last edited by ImportBot
July 30, 2014 | History

Formal Methods for Components and Objects 1 edition

Formal Methods for Components and Objects
Frank S. de Boer

Lists

You could add Formal Methods for Components and Objects to a list if you log in.

Links (leaves Open Library)

Yikes! There's no description for this book yet. Can you help?
There is only 1 edition record, so we'll show it here...  •  Add edition?

Formal Methods for Components and Objects
8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
edited by Frank S. Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel

Published 2010 by Springer Berlin Heidelberg in Berlin, Heidelberg .
Written in English.

Edition Notes

Series
Lecture Notes in Computer Science -- 6286

The Physical Object

Format
[electronic resource] :

ID Numbers

Open Library
OL25565416M
Internet Archive
formalmethodsfor00boer_443
ISBN 13
9783642170706, 9783642170713

History Created July 30, 2014 · 1 revision Download catalog record: RDF / JSON

July 30, 2014 Created by ImportBot import new book