Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium - - Libros - Taylor & Francis Inc - 9781568811451 - 2 de abril de 2001
En caso de que portada y título no coincidan, el título será el correcto

Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium 1.º edición

Precio
Mex$ 2.448
sin IVA

Pedido desde almacén remoto

Entrega prevista 12 - 28 de ago.

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

While mathematical software packages are commercially successful and widely used, the use of formal methods in hardware and software development is also becoming more and more important and necessary

288 pages, 50ill.

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 2 de abril de 2001
ISBN13 9781568811451
Editores Taylor & Francis Inc
Páginas 284
Dimensiones 150 × 220 × 20 mm   ·   690 g
Lengua Inglés  
Editor Kerber, Manfred
Editor Kohlhase, Michael

Más del mismo editor