Correct Hardware Design and Verification Methods: 11th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2001 Livingston, Scotland, Uk, September 4-7, 2001 Proceedings - Lecture Notes in Computer Science - T Margaria - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540425410 - 27 de agosto de 2001
En caso de que portada y título no coincidan, el título será el correcto

T Margaria
Correct Hardware Design and Verification Methods: 11th Ifip Wg 10.5 Advanced Research Working Conference, Charme 2001 Livingston, Scotland, Uk, September 4-7, 2001 Proceedings - Lecture Notes in Computer Science

Precio
Mex$ 1.156
sin IVA

Pedido desde almacén remoto

Entrega prevista 17 de ago. - 2 de sep.
Recibe notificaciones sobre nuevos lanzamientos de T Margaria

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

A collection of papers that offer topical sections on model checking, clocking issues, theorem proving with higher order logics, hardware compilation, tools, component verification, case studies, algorithm verification, and duration calculus.

488 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 27 de agosto de 2001
ISBN13 9783540425410
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 488
Dimensiones 155 × 233 × 25 mm   ·   698 g
Lengua Alemán  
Editor Margaria, Tiziana
Editor Melham, Tom

Más del mismo editor

Ver todo de T Margaria ( Ej. Paperback Book )