Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Ein Leitfaden für die formale Spezifikation von Software, der algebraische Konzepte klar erklärt und zeigt, wie man durch präzise Modellierung zuve ...