Recent trends in algebraic development techniques  12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers 
Francesco Parisi Presicce, (ed.) 
 - Berlin  New York  Springer  c1998 
 - viii, 433 p  ill  24 cm 
 - Lecture notes in computer science  1376 .
<br/><br/><label>ISBN: </label>3540642994 (alk. paper) 
<br/><br/><label>LCCN: </label>98006358 
<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