Algebraic methodology and software technology (AMAST'93)  Proceedings of the third international conference on algebraic methodology and software technology, university of twente, enschede, t Netherlands 

 - London  Springer-Verlag  1993 
 - xvi, 416p.  24cm 
 - Workshops in computing .
<br/><br/> Includes index 
<br/><br/><label>ISBN: </label>3 540 19852 0 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering   --Congresses<br/>Abstract data types (Computer science)     --Congresses<br/>Congresses and conventions
<br/><br/><label>Dewey Class. No.: </label>001.6425  / INT