Wolfgang Schreiner: Thinking Programs, Gebunden

Wolfgang Schreiner

Thinking Programs

Buch

Logical Modeling and Reasoning About Languages, Data, Computations, and Executions

Titel: Thinking Programs; Autor: Wolfgang Schreiner; Thema: Modellierung und logisches Denken in symbolischer Berechnung.

lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)

Aktueller Preis: EUR 74,66

Versandkosten (United States of America): EUR 19,90

Verlag:: Springer, 08/2025
Einband:: Gebunden
Sprache:: Englisch
ISBN-13:: 9783031997044
Artikelnummer:: 12463740
Umfang:: 664 Seiten
Nummer der Auflage:: 25002
Ausgabe:: Second Edition 2026
Gewicht:: 1148 g
Maße:: 241 x 160 mm
Stärke:: 41 mm
Erscheinungstermin:: 30.8.2025
Hinweis: Achtung: Artikel ist nicht in deutscher Sprache!

Weitere Ausgaben von Thinking Programs	Preis

Klappentext

Part I The Foundations.- Syntax and Semantics.- The Language of Logic.- The Art of Reasoning.- Building Models.- Recursion.- Part II The Higher Planes.- Abstract Data Types.- Programming Languages.- Computer Programs.- Concurrent Systems.- References.- Index.