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) - Livros - MIT Press Ltd - 9780262035538 - 5 de maio de 2017
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

Preço
R$ 315,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 23 de set - 14 de out
Receba avisos sobre novos lançamentos de Arkoudas, Konstantine (Senior Research Scientist and Software Architect, Bloomberg)

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

A textbook that teaches students to read and write proofs using Athena.

976 pages, 28 b&w illus.

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 5 de maio de 2017
ISBN13 9780262035538
Editoras MIT Press Ltd
Páginas 976
Dimensões 284 × 213 × 40 mm   ·   1,68 kg

Mais da mesma editora

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