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 - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540566625 - 6 de abril de 1993
En caso de que portada y título no coincidan, el título será el correcto

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 1993 edition

Precio
$ 122,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 2 - 21 de sep.
Recibe notificaciones sobre nuevos lanzamientos de James C P Woodcock

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

Aún no valorado

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.

Más del mismo editor

Ver todo de James C P Woodcock ( Ej. Paperback Book )