TY  - BOOK
AU  - Cerioli,Maura
ED  - WADT
TI  - Recent trends in algebraic development techniques: 15th international workshop; WADT 2001 joint with the CoFI WG Meeting, Genova, Italy, April 1 - 3, 2001; selected papers
T2  - Lecture notes in computer science
SN  - 3540431594
PY  - 2001///
CY  - Berlin, Heidelberg [u.a.]
PB  - Springer
KW  - Computer software
KW  - Development
KW  - Congresses
KW  - Abstract data types (Computer science)
KW  - Computer science
KW  - Mathematics
KW  - Algebraische Spezifikation
KW  - Konferenzschrift
KW  - 2001
KW  - Genua
KW  - gnd-content
N1  - Literaturangaben
UR  - https://swbplus.bsz-bw.de/bsz096856122inh.htm
UR  - https://swbplus.bsz-bw.de/bsz096856122kap.htm
UR  - https://swbplus.bsz-bw.de/bsz096856122cov.jpg
UR  - https://zbmath.org/?q=an:0984.00054
ER  -