Analysis and verification of multiple-agent languages :  5th LOMAPS workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers / 
Mads Dam (ed.). 
 - Berlin :  Springer,  1997. 
 - VIII, 434 s. ;  24 cm. 
 - Lecture Notes in Computer Science,  1192  0302-9743 ; .
 - Lecture Notes in Computer Science  1192 .
<br/><br/>
<br/><br/><label>ISBN: </label>3540625038 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Języki programowania--konferencje.<br/>Komputery--programowanie--konferencje.<br/>Informatyka--konferencje.