Kategorien
Handverlesen
Neue Taschenbücher im August 2026
Alle Bücher von Monika Helfer
Perlen aus der Tagtigall
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 (2 Treffer)
Filter schließen (2 Treffer)
Stichwort
Alle Stichworte
Software-Qualität (2)
Architekturentwicklung (1)
Architekturentwurf (1)
Architekturmuster (1)
Automatisierung (1)
Beweisassistenten (1)
Beweistaktiken (1)
Curry-Howard-Isomorphie (1)
Dokumentation (1)
Isaqb (1)
IT-Ausbildung & Berufe (1)
Lambda-Kalkül (1)
Martin-Löf (1)
Praktische Informatik (1)
Qualitätsanforderungen (1)
Reliable Software (1)
Software-Architektur (1)
Software-Entwicklung (1)
Software-Verifikation (1)
Softwarearchitektur (1)
Softwareentwicklung (1)
Softwarequalität (1)
Typentheorie (1)
Sachbuch
Schlagwort Sachbuch
Mathematik: Logik (1)
Software Engineering (1)
Sprache
Sprachen
Deutsch (2)
Buchform
Formate
Gebunden (1)
Taschenbuch (1)
Nur mit
-Notizen
Auf Lager
ähnliche Begriffe
Standardsortierung
Neueste
Preis absteigend
Preis aufsteigend
Seitenzahl aufsteigend
Seitenzahl absteigend
Suchergebnis
Gefundene Buchautor*innen:
Mahbouba Gharbi
oder
Arne Koschel
oder
Christoph Kreitz
oder
Andreas Rausch
oder
Gernot Starke
Christoph Kreitz
Automatisierte Logik
Eine ausführlich motivierte Einführung von der Aussagenlogik bis zur konstruktiven Typentheorie
Springer-Verlag GmbH
2026
Taschenbuch
299 Seiten
32,99
€
Am 11.11.2026
Mahbouba Gharbi / Arne Koschel …
Basiswissen für Softwarearchitekten
Aus- und Weiterbildung nach iSAQB-Standard zum Certified Professional for Software Architecture - Foundation Level
dpunkt.Verlag
2025
Gebunden
260 Seiten
34,90
€
Auf Lager
Grundlagenwissen nicht nur für Softwarearchitekt*innen Das bewährte Standa…