Marco Bernardo
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures - Lecture Notes in Computer Science Marco Bernardo 2006 edition

Name: Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures - Lecture Notes in Computer Science
Price: 65.99 USD
Availability: OutOfStock
Author: Marco Bernardo

Precio

$ 65,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 19 de jun. - 8 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

Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advances Lectures - Lecture Notes in Computer Science

Marco Bernardo

2006 edition

This book presents 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2006).

244 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	15 de mayo de 2006
ISBN13	9783540343042
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	244
Dimensiones	155 × 235 × 13 mm · 362 g
Lengua	Francés
Editor	Bernardo, Marco
Editor	Cimatti, Alessandro