TY - BOOK AU - Dam,Mads ED - LOMAPS Workshop TI - Analysis and verification of multiple-agent languages: 5th LOMAPS workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers T2 - Lecture Notes in Computer Science, SN - 3540625038 PY - 1997/// CY - Berlin PB - Springer KW - Języki programowania KW - konferencje KW - kaba KW - Komputery KW - programowanie KW - Informatyka N1 - Dostępne również w formie elektronicznej UR - https://www.infona.pl/resource/isbn/9783540625032 ER -