Recent trends in data type specification :  5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected papers / 
D. Sannella, A. Tarlecki (eds.). 
 - Berlin :  Springer,  1988. 
 - 259 s. ;  24 cm. 
 - Lecture Notes in Computer Science ;  332 .
 - Lecture Notes in Computer Science  332 .
<br/><br/>
<br/><br/><label>ISBN: </label>3540503250 0387503250 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Abstrakcyjne typy danych (informatyka)--konferencje.<br/>Teoria typów (logika matematyczna)--konferencje.