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 - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540291312 - 19 de septiembre de 2005
En caso de que portada y título no coincidan, el título será el correcto

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures - Programming and Software Engineering 2005 edition

Precio
$ 65,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 22 de jun. - 9 de jul.
Añadir a tu lista de deseos de iMusic

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

Mere med samme udgiver