000 00485nmm a2200145Ia 4500
008 230202s9999||||xx |||||||||||||||||und||
020 _a9783642598517
100 _aEgidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner
245 0 _aAlgebraic Foundations of Systems Specification
250 _a1999
260 _bSpringer Berlin Heidelberg
_c1999
440 _aIFIP State-of-the-Art Reports
650 _aComputer Science
856 _uhttps://doi.org/10.1007/978-3-642-59851-7
999 _c27202
_d27202