Logic And Language Models For Computer Science (fourth Edition): 4th Edition - Hardcover

Richards, Dana; Hamburger, Henry

 
9789811260667: Logic And Language Models For Computer Science (fourth Edition): 4th Edition
Hardcover
ISBN 10: 9811260664 ISBN 13: 9789811260667
Verlag: WSPC, 2023

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
WSPC
Erscheinungsdatum
2023
Sprache
Englisch
ISBN 10 
9811260664
ISBN 13 
9789811260667
Einband
Gebundene Ausgabe
Auflage
4
Anzahl der Seiten
496
Kontakt zum Hersteller
preigu GmbH & Co. KG
mail@preigu.de

Lengericher Landstr. 19
Osnabrück
Niedersachsen
49078
Deutschland

Weitere beliebte Ausgaben desselben Titels

9781944660833: LOGIC AND LANGUAGE MODELS FOR COMPUTER SCIENCE (FOURTH EDITION)

Vorgestellte Ausgabe

ISBN 10:  1944660836 ISBN 13:  9781944660833
Unknown Binding