Tell your friends about this item:
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 2007 edition
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
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 allMere med samme udgiver
See all of Marcello M Bonsangue ( e.g. Paperback Book )