Fundamentals of Algebraic Specification 2: Module Specifications and Constraints (Monographs in Theoretical Computer Science. An EATCS Series)
Ein fundiertes Lehrbuch, das algebraische Spezifikation auf modulare Ebene erweitert und die Rolle von Constraints im Design komplexer Softwaresysteme ...