Dieses Buch führt in die algebraische Spezifikation ein, erläutert logische Strukturen und zeigt, wie formale Modelle dazu beitragen, Fehler in komplexen Softwaresystemen frühzeitig zu erkennen und zu verhindern.