Computer-Aided Reasoning: ACL2 Case Studies - Advances in Formal Methods - Matt Kaufmann - Libros - Springer - 9780792378495 - 30 de junio de 2000
En caso de que portada y título no coincidan, el título será el correcto

Matt Kaufmann
Computer-Aided Reasoning: ACL2 Case Studies - Advances in Formal Methods 2000 edition

Precio
Mex$ 3.614
sin IVA

Pedido desde almacén remoto

Entrega prevista 27 de jul. - 6 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Matt Kaufmann

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

Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems.

337 pages, biography

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 30 de junio de 2000
ISBN13 9780792378495
Editores Springer
Páginas 337
Dimensiones 155 × 235 × 20 mm   ·   684 g
Lengua Inglés  
Editor Kaufmann, Matt
Editor Manolios, Panagiotis
Editor Moore, J Strother

Más del mismo editor

Ver todo de Matt Kaufmann ( Ej. Paperback Book y Hardcover Book )