Kategorien
Handverlesen
Die schönsten Bücher 2026
250 Jahre USA
Zeich(n)en des Widerstands
Archiv
Viel besprochen
Bücherschau des Tages
Literaturbeilagen
Bücherbrief
Bücher der Saison
Bestenlisten
Ausgezeichnet
Selbst gelesen
von
von Marie-Luise Knott
von Thekla Dannenberg
von Peter Truschner
Wer wir sind
Datenschutz
Impressum
Gutschein
Kostenloser Newsletter
Der
Perlentaucher unter den Buchläden
Eichendorff21
Warenkorb
Einloggen oder registrieren
Genauer suchen (1 Treffer)
Filter schließen (1 Treffer)
Stichwort
Alle Stichworte
Agda (1)
Dependent Types (1)
Formale Verifikation (1)
Lambda-Kalkül (1)
Logik und Programmierung (1)
Programmierung (1)
Proposition-As-Types (1)
Sachbuch
Schlagwort Sachbuch
Allgemein (1)
Programmier- und Skriptsprachen (1)
Sprache
Sprachen
Deutsch (1)
Buchform
Formate
Taschenbuch (1)
Nur mit
-Notizen
Auf Lager
ähnliche Begriffe
Standardsortierung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Sie haben nach
Wiesmann, Dirk
gesucht
Dirk Wiesmann
Fundamente der Programmierung
Programme beweisen und Beweise programmieren
Springer-Verlag GmbH
2026
Taschenbuch
233 Seiten
37,99
€
Am 06.09.2026