Logic And Language Models For Computer Science (Fourth Edition)

4th Edition

Richards, Dana (George Mason Univ, Hamburger, Henry (George Mason Univ - Logic And Language Models For Computer Science (Fourth Edition)
Richards, Dana (George Mason Univ, Hamburger, Henry (George Mason Univ - Logic And Language Models For Computer Science (Fourth Edition)
Richards, Dana (George Mason Univ, Hamburger, Henry (George Mason Univ - Logic And Language Models For Computer Science (Fourth Edition)
Richards, Dana (George Mason Univ, Hamburger, Henry (George Mason Univ - Logic And Language Models For Computer Science (Fourth Edition)

Omschrijving

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.
€ 142,40
Hardback
 
In de winkelwagen 16 werkdagen Wenslijst Stel een vraag
In de winkelwagen 16 werkdagen Wenslijst Stel een vraag
Gratis verzending vanaf
€ 19,95 binnen Nederland
Schrijver
Richards, Dana (George Mason Univ, Hamburger, Henry (George Mason Univ
Titel
Logic And Language Models For Computer Science (Fourth Edition)
Uitgever
World Scientific Publishing Co Pte Ltd
Jaar
2023
Taal
Engels
Pagina's
496
EAN
9789811260667
Bindwijze
Hardback

U ontvangt bij ons altijd de laatste druk!

Rubrieken

Studieboeken
Kunst
Wijnen
Informatica
Eten en drinken
Sport
Reizen
Oorlog
Streekromans
Strips
Gezondheid
Bijbels
Novelle
Politiek
Fietsen
Muziek
Zwangerschap
Solliciteren
Alle categorieën
Boekstra