Fm 99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings - Lecture Notes in Computer Science - World Congress on Formal Methods in the Development of Computing Systems - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540665885 - 13 de septiembre de 1999
En caso de que portada y título no coincidan, el título será el correcto

World Congress on Formal Methods in the Development of Computing Systems
Fm 99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings - Lecture Notes in Computer Science 1999 edition

Precio
$ 122,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 6 - 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

The second of two volumes of proceedings of the World Congress on Formal Methods in the Development of Computing Systems (FM '99). Topical sections include program verification, integration of notation and techniques, open information systems, co-design, refinement, safety and avionics.

942 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 13 de septiembre de 1999
ISBN13 9783540665885
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 942
Dimensiones 156 × 234 × 48 mm   ·   1,32 kg
Lengua Inglés  
Editor Davies, Jim
Editor Wing, Jeannette M.
Editor Woodcook, Jim

Mere med samme udgiver

Ver todo de World Congress on Formal Methods in the Development of Computing Systems ( Ej. Paperback Book )