Algebraic methodology and software technology :  5th international conference, AMAST '96, Munich, Germany, July 1-5, 1996 : proceedings / 
 AMAST '96 
Martin Wirsing and Maurice Nivat, eds. 
 - Berlin :  Springer,  1996 
 - 640 p. 
 - Lecture notes in computer science ;  v. 1101 .
<br/><br/><label>ISBN: </label>354061463X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering--Congresses<br/>Abstract data types (Computer science)--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.758  / I5713 1996