Dana (George Mason Univ Richards,
Dana Richards,
Henry (George Mason Univ Hamburger,
Henry Hamburger
e.a.
LOGIC AND LANGUAGE MODELS FOR COMPUTER SCIENCE (FOURTH EDITION)
Gebonden EN 2023 9789811260667Levertijd ± 16 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9789811260667
Taal:EN
Bindwijze:Gebonden
Aantal pagina's:496
Uitgever:World Scientific Publishing Co Pte Ltd
Hoofdrubriek:Automatisering algemeen, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan