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
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

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

Mere med samme udgiver

Ver todo de T Margaria ( Ej. Paperback Book )