James C P Woodcock
FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings - Lecture Notes in Computer Science James C P Woodcock 1993 edition

Name: FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings - Lecture Notes in Computer Science
Price: 107.49 USD
Availability: OutOfStock
Author: James C P Woodcock

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 '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993. Proceedings - Lecture Notes in Computer Science

James C P Woodcock

1993 edition

The last few years have borne witness to a remarkablediversity of formal methods, with applications to sequentialand concurrent software, to real-time and reactive systems,and to hardware design.

695 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	6 de abril de 1993
ISBN13	9783540566625
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	695
Dimensiones	155 × 233 × 36 mm · 979 g
Lengua	Alemán
Editor	Larsen, Peter G.
Editor	Woodcock, James C.P.