Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures - Programming and Software Engineering - Marcello M Bonsangue - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540747918 - December 18, 2007
In case cover and title do not match, the title is correct

Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures - Programming and Software Engineering 2007 edition

Price
Íkr 6,919
excl. VAT

Ordered from remote warehouse

Expected delivery Jul 15 - 23
Add to your iMusic wish list

Not rated yet

This book presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands in November 2006.


308 pages, biography

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 18, 2007
ISBN13 9783540747918
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 300
Dimensions 155 × 235 × 16 mm   ·   462 g
Language French  
Editor Bonsangue, Marcello M.
Editor De Boer, Frank S.
Editor De Roever, Willem-paul
Editor Graf, Susanne

More by Marcello M Bonsangue

Show all

Mere med samme udgiver