Recent trends in algebraic development techniques 12th international workshop, WADT '97, Tarquinia, Italy, June 3 - 7, 1997; selected papers
Recent trends in algebraic development techniques 12th international workshop, WADT '97, Tarquinia, Italy, June 3 - 7, 1997; selected papers
WADT '97
Francesco Parisi Presicce (ed.)
- VIII, 433 S. graph. Darst.
- Lecture notes in computer science 1376 .
- 137600 .
- Lecture notes in computer science 1376 .
Literaturangaben
Parisi-Presicce, Francesco: Recent Trends in Algebraic Development Techniques
3540642994
241088011
98,N12,0337 dnb 98,A22,0782 dnb
953005925 DE-101
Computer software Development Computer science Mathematics Abstract data types (Computer science)
Konferenzschrift--Tarquinia--1997
QA76.76.D47
Literaturangaben
Parisi-Presicce, Francesco: Recent Trends in Algebraic Development Techniques
3540642994
241088011
98,N12,0337 dnb 98,A22,0782 dnb
953005925 DE-101
Computer software Development Computer science Mathematics Abstract data types (Computer science)
Konferenzschrift--Tarquinia--1997
QA76.76.D47