Fundamentals of Algebraic Specification 2: Module Specifications and Constraints
53.14 EUR
Ein umfassendes Buch über algebraische Spezifikation, das die Struktur von Modulen und deren Einschränkungen aus mathematischer Sicht beleuchtet; es bietet klare Beispiele für formale Modellierung in der Informatik.