Recomienda este artículo a tus amigos:
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures - Programming and Software Engineering De F S Boer 2005 edition
Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures - Programming and Software Engineering
De F S Boer
The 14 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems.
328 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 19 de septiembre de 2005 |
| ISBN13 | 9783540291312 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 328 |
| Dimensiones | 155 × 235 × 17 mm · 471 g |
| Lengua | Francés |
| Editor | Bonsangue, Marcello M. |
| Editor | De Boer, Frank S. |
| Editor | De Roever, Willem-paul |
| Editor | Graf, Susanne |