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 .
<br/><br/><label>ISBN: </label>3540431594 
<br/><br/><label>LCCN: </label>2002283770 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development<br/>Computer science--Mathematics<br/>Abstract data types (Computer science)
<br/><br/><label>Dewey Class. No.: </label>005.1