Analysis and verification of multiple-agent languages : 5th LOMAPS workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers /

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 .



3540625038


Języki programowania--konferencje.
Komputery--programowanie--konferencje.
Informatyka--konferencje.