FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Programming and Software Engineering - Jorge Cuellar - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540682356 - 8 de mayo de 2008
En caso de que portada y título no coincidan, el título será el correcto

Jorge Cuellar
FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings - Programming and Software Engineering 2008 edition

Precio
€ 49,99

Pedido desde almacén remoto

Entrega prevista 22 - 30 de ene.

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

The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.

436 pages, black & white illustrations

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 8 de mayo de 2008
ISBN13 9783540682356
Editores Springer-Verlag Berlin and Heidelberg Gm
Género Aspects (Academic) > Science / Technology Aspects
Páginas 436
Dimensiones 155 × 235 × 23 mm   ·   657 g
Lengua Francés  
Editor Cuellar, Jorge
Editor Maibaum, Tom

Mas por Jorge Cuellar

Mostrar todo

Ver todo de Jorge Cuellar ( Ej. Paperback Book )