Recent trends in algebraic development techniques  16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers 
Martin Wirsing, Dirk Pattinson, Rolf Hennicker 
 - Berlin  New York  Springer-Verlag  c2003 
 - viii, 456 p  ill  24 cm 
 - Lecture notes in computer science  2755 .
<br/><br/><label>ISBN: </label>3540205373 (softcover : alk. paper) 
<br/><br/><label>LCCN: </label>2003065502 
<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