Logic in Computer Science - Hantao Zhang - Livros - Springer Verlag, Singapore - 9789819798155 - 12 de janeiro de 2025
Caso a capa e o título não sejam correspondentes, considere o título como correto

Logic in Computer Science 2024 edition

Hantao Zhang

Preço
NZD 111,83

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 26 de jun - 4 de jul

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

Logic in Computer Science 2024 edition

Mathematical logic is an important basis for mathematics, computer science and artificial intelligence alike. This book provides a comprehensive introduction to various logics, including classical propositional logic and first-order predicate logic, as well as equational logic, temporal logic, and Hoare logic.

400 pages, Approx. 400 p.

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 12 de janeiro de 2025
ISBN13 9789819798155
Editoras Springer Verlag, Singapore
Páginas 483
Dimensões 730 g
Mostrar tudo

Mais por Hantao Zhang

Ver tudo de Hantao Zhang ( por exemplo Paperback Book )