Logic in Computer Science - Hantao Zhang - Böcker - Springer Verlag, Singapore - 9789819798155 - 14 januari 2025
Om omslag och titel inte matchar är det titeln som gäller

Logic in Computer Science 2024 edition

Hantao Zhang

Pris
SEK 719

Beställningsvara

Förväntad leverans 22 - 27 jan 2025
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
Eller

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.

Media Böcker     Pocketbok   (Bok med mjukt omslag och limmad rygg)
Releasedatum 14 januari 2025
ISBN13 9789819798155
Utgivare Springer Verlag, Singapore
Antal sidor 442
Mått 663 g   (Estimerad vikt)
Visa alla

Fler produkter med Hantao Zhang

Se alt med Hantao Zhang ( t.ex. Pocketbok )