Algebraic methodology and software technology :  4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995 : proceedings / 
V. S. Alagar and Maurice Nivat (eds.) 
 - Berlin :  Springer-Verlag,  1995 
 - 591 p. 
 - Lecture notes in computer science ;  no. 936 .
<br/><br/><label>ISBN: </label>3540600434 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Software engineering--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.758  / I5713 1995