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

New Feature: You can now embed Open Library books on your website!   Learn More
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

No ebook available.


Prefer the physical book? Check nearby libraries powered by WorldCat


Buy this book


Links (leaves Open Library)

Rats. 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