Logic and Language Models for Computer Science - Richards, Dana (George Mason University, USA) - Grāmatas - World Scientific Publishing Co Pte Ltd - 9789811260667 - 2023. gada 7. marts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Richards, Dana (George Mason University, USA)
Logic and Language Models for Computer Science Fourth, 4th edition

Cena
€ 130,49

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 6. - 20. nov.
Ziemassvētku dāvanas var atgriezt līdz 31. janvārim
Saņemiet paziņojumus par jauniem Richards, Dana (George Mason University, USA) izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

This unique compendium highlights the theory of computation, particularly logic and automata theory. Special emphasis is on computer science applications including loop invariants, program correctness, logic programming and algorithmic proof techniques. This innovative volume differs from standard textbooks, by building on concepts in a different order, using fewer theorems with simpler proofs. It has added many new examples, problems and answers. It can be used as an undergraduate text at most universities.
show more

496 pages

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2023. gada 7. marts
ISBN13 9789811260667
Izdevēji World Scientific Publishing Co Pte Ltd
Lapas 496
Izmēri 150 × 220 × 20 mm   ·   830 g

Vairāk no tā paša izdevēja

Skatīt visus Richards, Dana (George Mason University, USA)