Specification and verification of concurrent systems / 
C. Rattray (ed.). 
 - London :  Springer,  1990. 
 - VIII, 612 s. ;  24 cm. 
 - Workshops in Computing .
 - Workshops in Computing .
<br/><br/> Papers presented at the BCS-FACS Workshop on Specification and Verification of Concurrent Systems, held on 6-8 July 1988at the University of Stirling. 
<br/><br/>Bibliogr. przy referatach. 
<br/><br/><label>ISBN: </label>3540195815 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Przetwarzanie równoległe (informatyka)--konferencje.
<br/><br/><label>Universal Decimal Class. No.: </label>681.324(061.3)