Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings - Lecture Notes in Computer Science - Mark D Aagaard - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540001164 - 23 de octubre de 2002
En caso de que portada y título no coincidan, el título será el correcto

Mark D Aagaard
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings - Lecture Notes in Computer Science 2002 edition

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Mark D Aagaard

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

This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). FMCAD provides a venue for academic and industrial researchers and practitioners to share their ideas and experiences of using - screte mathematical modeling and veri?cation.

408 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 23 de octubre de 2002
ISBN13 9783540001164
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 408
Dimensiones 155 × 235 × 21 mm   ·   633 g
Lengua Alemán  
Editor Aagaard, Mark D.
Editor O'Leary, John W.

Mas por Mark D Aagaard

Mostrar todo

Más del mismo editor

Ver todo de Mark D Aagaard ( Ej. Paperback Book )