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

Verlängerter Rückgabezeitraum bis 31. Januar 2026

Alle zur Rückgabe berechtigten Produkte, die zwischen dem 1. bis 31. Dezember 2025 gekauft wurden, können bis zum 31. Januar 2026 zurückgegeben werden.

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.