Wiesmann, Dirk. Fundamente der Programmierung - Programme beweisen und Beweise programmieren. Springer-Verlag GmbH, 2026.

Dirk Wiesmann

Fundamente der Programmierung

Programme beweisen und Beweise programmieren
  • Springer-Verlag GmbH
  • 2026
  • Taschenbuch
  • 233 Seiten
  • ISBN 9783662736265

Am 06.09.2026