Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauench - detaljert visning

Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers

WADT 2002
Bok Engelsk 2003


Utgitt	Berlin : Springer , c2003
Omfang	VIII, 456 s. : ill.
Emner	Abstract data types (Computer science) Computer science - Mathematics Computer software - Development Algebraisk spesifikasjon (Programutvikling) Vis mer... Algebraisk spesifikasjon Programutvikling
ISBN	3540205373