Algebraic foundations of systems specification / ed. E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner

Algebraic foundations of systems specification / ed. E. Astesiano, H.-J. Kreowski, B. Krieg-Brückner . - Berlin : Springer, cop. 1999 . - XII, 615 p. 24 cm . - (IFIP state-of-the-art reports))
3-540-63772-9 (Encadernado)

519.6