Fundamental Proof Methods in Computer Science: A Computer-Based Approach - Fundamental Proof Methods in Computer Science - Arkoudas, Konstantine (Senior Research Scientist and Software Architect, Bloomberg) - Libros - MIT Press Ltd - 9780262035538 - 5 de mayo de 2017
En caso de que portada y título no coincidan, el título será el correcto

Arkoudas, Konstantine (Senior Research Scientist and Software Architect, Bloomberg)
Fundamental Proof Methods in Computer Science: A Computer-Based Approach - Fundamental Proof Methods in Computer Science

Precio
€ 54,99

Pedido desde almacén remoto

Entrega prevista 6 de nov. - 1 de dic.
Los regalos de Navidad se podrán canjear hasta el 31 de enero
Recibe notificaciones sobre nuevos lanzamientos de Arkoudas, Konstantine (Senior Research Scientist and Software Architect, Bloomberg)

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 textbook that teaches students to read and write proofs using Athena.

976 pages, 28 b&w illus.

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 5 de mayo de 2017
ISBN13 9780262035538
Editores MIT Press Ltd
Páginas 976
Dimensiones 284 × 213 × 40 mm   ·   1,68 kg

Más del mismo editor

Ver todo de Arkoudas, Konstantine (Senior Research Scientist and Software Architect, Bloomberg)