Title: Recent Trends in Algebraic Development Techniques
Subjects: Logic design, Information theory, Symbolic and mathematical Logic, Computer science, Computer software, Congresses, Development, Mathematics, Abstract data types (Computer science), Algebraische Spezifikation, Kongress, Formale Spezifikationstechnik, Computer software, development, Abstract data types (computer science)