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 (ed.) 
 - X, 343 S.  graph. Darst. 
 - Lecture notes in computer science  2267 .
 -  2267 .
 - Lecture notes in computer science  2267 .
<br/><br/> Literaturangaben 
<br/><br/>Cerioli, Maura: Recent Trends in Algebraic Development Techniques 
<br/><br/><label>ISBN: </label>3540431594 
<br/><br/><label>Standard No.: </label>9783540431596 
<br/><br/><label>Nat. Bib. No.: </label>02,N04,0284  dnb 
<br/><br/><label>Nat. Bib. Agency Control No.: </label>963496670  DE-101 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development--Congresses<br/>Abstract data types (Computer science)--Congresses<br/>Computer science--Mathematics--Congresses
<br/><br/><label>Subjects--Index Terms: </label>
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Konferenzschrift--Genua--2001