Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers - Lecture Notes in Computer Science - Frank S De Boer - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642170706 - January 4, 2011
In case cover and title do not match, the title is correct

Frank S De Boer
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers - Lecture Notes in Computer Science

Get an email once the item is available
Do you have a profile? Log in
Get notified about new Frank S De Boer releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

The volume contains 17 revised contributions submitted after thesymposium by speakers from each of the following European IST projects: theIST-FP6 project BIONETS on biologically inspired services evolution for thepervasive age; and the IST-FP7 project QUASIMODO on quantitativesystem properties in model-driven-design of embedded systems.

349 pages, 56 black & white illustrations, 55 colour illustrations, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released January 4, 2011
ISBN13 9783642170706
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 339
Dimensions 155 × 236 × 15 mm   ·   498 g
Language French  
Editor Bonsangue, Marcello M.
Editor De Boer, Frank S.
Editor Hallerstede, Stefan
Editor Leuschel, Michael

More by Frank S De Boer

Show all

More from the same publisher

See all of Frank S De Boer ( e.g. Paperback Book )