TY  - BOOK
AU  - Parisi-Presicce,Francesco
ED  - WADT
TI  - Recent trends in algebraic development techniques: 12th international workshop, WADT '97, Tarquinia, Italy, June 3 - 7, 1997; selected papers
T2  - Lecture notes in computer science
SN  - 3540642994
AV  - QA76.76.D47 
PY  - 1998///
CY  - Berlin, Heidelberg [u.a.]
PB  - Springer
KW  - Computer software
KW  - Development
KW  - Computer science
KW  - Mathematics
KW  - Abstract data types (Computer science)
KW  - Konferenzschrift
KW  - 1997
KW  - Tarquinia
KW  - gnd-content
N1  - Literaturangaben
UR  - https://swbplus.bsz-bw.de/bsz065194578cov.jpg
UR  - https://zbmath.org/?q=an:0889.00030
ER  -