Analysis and verification of multiple-agent languages
5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers
LOMAPS
LOMAPS Workshop 1996 : Stockholm, Sweden)
creator
Dam, Mads
ed.
text
gw
Berlin
Springer
1997
monographic
eng
434 p.
Mads Dam, ed.
Programming languages (Electronic computers)
Congresses
QA76.7 L662 1996
Lecture notes in computer science ; no. 1192
3540625038
03029743
060904
20260817162259.0