Zum Hauptinhalt springen
Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Formale Programmentwicklung mit dynamischer Logik

(Autor)

Buch | Softcover
IX, 288 Seiten
1992
Deutscher Universitätsverlag
978-3-8244-2031-5 (ISBN)

Lese- und Medienproben

Formale Programmentwicklung mit dynamischer Logik - Maritta Heisel
CHF 76,95 inkl. MwSt
  • Versand in 10-15 Tagen
  • Versandkostenfrei
  • Auch auf Rechnung
  • Artikel merken
Erscheint lt. Verlag 1.1.1992
Reihe/Serie DUV: Datenverarbeitung
Zusatzinfo IX, 288 S.
Verlagsort Wiesbaden
Sprache deutsch
Maße 155 x 235 mm
Gewicht 388 g
Themenwelt Mathematik / Informatik Informatik Theorie / Studium
Schlagworte Logik • Software Engineering / Softwareentwicklung • Softwareentwicklung
ISBN-10 3-8244-2031-7 / 3824420317
ISBN-13 978-3-8244-2031-5 / 9783824420315
Zustand Neuware
Informationen gemäß Produktsicherheitsverordnung (GPSR)
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
was jeder über Informatik wissen sollte

von Timm Eichstädt; Stefan Spieker

Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Grundlagen – Anwendungen – Perspektiven

von Matthias Homeister

Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 53,15
Teil 2 der gestreckten Abschlussprüfung Fachinformatiker/-in …

von Dirk Hardy; Annette Schellenberg; Achim Stiefel

Buch | Softcover (2025)
Europa-Lehrmittel (Verlag)
CHF 37,90