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

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 Maura Cerioli, Gianna Reggio (eds.) - Berlin London Springer c2001 - x, 343 p ill 24 cm - Lecture notes in computer science 2267 .

3540431594

2002283770


Computer software--Development
Computer science--Mathematics
Abstract data types (Computer science)

005.1

Powered by Koha