Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner

Algebraic Foundations of Systems Specification - 1999 - Springer Berlin Heidelberg 1999 - IFIP State-of-the-Art Reports .

9783642598517


Computer Science