Algebraic methodology and software technology  8th international conference ; Iowa City, Iowa, USA, May 20 - 27, 2000 ; proceedings 
AMAST 2000. Teodor Rus (ed.) 
 - XI, 544 S.  graph. Darst.  24 cm 
 - Lecture notes in computer science  1816 .
 -  181600 .
 - Lecture notes in computer science  1816 .
<br/><br/> Literaturangaben 
<br/><br/>Rus, Teodor: Algebraic Methodology and Software Technology 
<br/><br/><label>ISBN: </label>3540675302 
<br/><br/><label>LCCN: </label>00032203  
<br/><br/><label>Nat. Bib. No.: </label>00,N18,0360  dnb 00,A28,0864  dnb 
<br/><br/><label>Nat. Bib. Agency Control No.: </label>3540675302  UK 958831653  DE-101 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering--Congresses<br/>Abstract data types (Computer science)--Congresses<br/>Software engineering--Congresses<br/>Logic programming--Congresses
<br/><br/><label>Subjects--Index Terms: </label>
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Konferenzschrift--Iowa City, Iowa--2000
<br/><br/><label>LC Class. No.: </label>QA76.758