Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Dieses Buch bietet einen tiefen Einblick in algebraische Spezifikationen und formale Softwareentwicklung, erklärt mathematische Konzepte klar und zeigt Schritt‑für‑Schritt, wie sie zur Erstellung zuverlässiger Softwaresysteme eingesetzt werden können.

Teilen: