Proof Assistants and Their Applications in Mathematics and Computer Science - Computer Science Foundations and Applied Logic - - Livros - Springer International Publishing AG - 9783031851896 - 9 de janeiro de 2027
Caso a capa e o título não sejam correspondentes, considere o título como correto

Proof Assistants and Their Applications in Mathematics and Computer Science - Computer Science Foundations and Applied Logic

Preço
R$ 413,90
excluindo impostos
Data prevista de entrega 18 - 21 de jan de 2027

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

Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking.

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
A ser lançado 9 de janeiro de 2027
ISBN13 9783031851896
Editoras Springer International Publishing AG
Páginas 390
Dimensões 150 × 220 × 20 mm   ·   617 g   (Peso (estimado))
Editor Blanchette, Jasmin
Editor Mahboubi, Assia

Mais da mesma editora