Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures - Lecture Notes in Computer Science - Elena Giachino - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642406140 - 26 de agosto de 2013
En caso de que portada y título no coincidan, el título será el correcto

Elena Giachino
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures - Lecture Notes in Computer Science 2013 edition

Precio
Mex$ 885
sin IVA

Pedido desde almacén remoto

Entrega prevista 13 - 23 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 2012. The book provides a unique combination of ideas on software engineering and formal methods which reflect the expanding body of knowledge on modern software systems.

250 pages, 125 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 26 de agosto de 2013
ISBN13 9783642406140
Editores Springer-Verlag Berlin and Heidelberg Gm
Género Aspects (Academic) > Science / Technology Aspects
Páginas 241
Dimensiones 155 × 235 × 13 mm   ·   358 g
Lengua Francés  
Editor Bonsangue, Marcello M.
Editor De Boer, Frank S.
Editor Giachino, Elena
Editor Hahnle, Reiner

Mere med samme udgiver

Ver todo de Elena Giachino ( Ej. Paperback Book )