%0 Book
%T Algebraic specifications in software engineering an introduction
%A Horebeek, Ivo van
%A Lewi, Johan
%I Springer
%@ 3540516263
%@ 0387516263
%K Software engineering
%K Algebraic specification
%K Abstract data types (Computer science)
%K Softwareentwicklung
%K Algebraische Spezifikation
%D 1989
%X Literaturverz. S. 327 - 342
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation