TAPSOFT'91 :  proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991 / 
S. Abramsky and T. S. E. Maibaum (eds.) 
 - Berlin :  Springer-Verlag,  1991 
 - 2 v. 
 - Lecture notes in computer science ;  no. 493, 494 .
<br/><br/><label>ISBN: </label>3540539824 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer software--Development--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.76 D47  / I57 1991