Logic in Computer Science - Hantao Zhang - Bøger - Springer Verlag, Singapore - 9789819798155 - 14. januar 2025
Ved uoverensstemmelse mellem cover og titel gælder titel

Logic in Computer Science 2024 edition

Hantao Zhang

Pris
DKK 547

Bestilles fra fjernlager

Forventes klar til forsendelse 22. - 27. jan. 2025
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
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.

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udkommer 14. januar 2025
ISBN13 9789819798155
Forlag Springer Verlag, Singapore
Antal sider 442
Mål 663 g   (Estimeret vægt)
Vis alle

Mere med Hantao Zhang

Se alt med Hantao Zhang ( f.eks. Paperback Bog )