Marie-claude Gaudel
FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings. - Lecture Notes in Computer Science Marie-claude Gaudel 1996 edition

Name: FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings. - Lecture Notes in Computer Science
Price: 107.49 USD
Availability: OutOfStock
Author: Marie-claude Gaudel

Precio

$ 107,49

sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

FME '96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings. - Lecture Notes in Computer Science

Marie-claude Gaudel

1996 edition

This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996.

711 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	6 de marzo de 1996
ISBN13	9783540609735
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	711
Dimensiones	155 × 235 × 36 mm · 997 g
Lengua	Alemán
Editor	Gaudel, Marie-Claude
Editor	Woodcock, James