Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Fundamente der Programmierung

Name: Fundamente der Programmierung
Brand: Springer-Verlag GmbH
SKU: 51982075
Price: 37.99 EUR
Availability: PreOrder
Author: Dirk Wiesmann
ISBN: 9783662736265

Dirk Wiesmann

Sprache

Deutsch

Buch Broschur

Libristo-Code: 51982075

Verlag Springer-Verlag GmbH, Oktober 2026

Das Buch bietet Studierenden und Praktiker*innen mit Kenntnissen der (objektorientierten) Anwendungs... Vollständige Beschreibung

Libristo-Code: 51982075

93 b

Demnächst

Neu

37.99 € inkl. MwSt.

Erwartete Neuerscheinung

Veröffentlichung 30. 09. 2026

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Book of Common Prayer Brian Cummings

Broschur

10.89 €

Sales Management That Works Frank V. Cespedes

Hardcover

19.79 €

Watchers A.M. Shine

Broschur

9.19 €

Night of the Golden Butterfly ALI TARIQ

Broschur

13.79 €

Post Human Jeffrey Deitch

Broschur

30.39 €

Das Buch bietet Studierenden und Praktiker*innen mit Kenntnissen der (objektorientierten) Anwendungsentwicklung einen Einstieg in die theoretischen Grundlagen der Programmierung.

Auf Basis des Curry-Howard-Isomorphismus werden die Gemeinsamkeiten der konstruktiven Logik und der Programmierung beleuchtet. Damit können essentielle Grundlagen der Programmierung betrachtet werden, die sich durch klare Regeln (Reduktion und Inferenz) formulieren lassen.

Die vermittelte Theorie findet praktische Anwendung, indem Beweise in Agda programmiert werden. Grundlegende Zusammenhänge der Programmierung werden damit bewiesen. An elementaren Beispielen wird gezeigt, wie die Korrektheit von Programmen formal nachgewiesen werden kann und wie korrekte Programme unter Nutzung von Dependent Types konstruiert werden können. Aufgaben helfen beim Selbststudium. Die zugehörigen Lösungsvorschläge können über den Autor bezogen werden.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Fundamente der Programmierung

Autor Dirk Wiesmann

Sprache

Deutsch

Einband Buch - Broschur

Datum der Veröffentlichung 2026

Anzahl der Seiten 233

EAN 9783662736265

ISBN 3662736268

Libristo-Code 51982075

Verlag Springer-Verlag GmbH

Abmessungen 155 x 235

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert