Record:   Prev Next
作者 LOMAPS Workshop (5th : 1996 : Stockholm, Sweden)
書名 Analysis and verification of multiple-agent languages [electronic resource] : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers / Mads Dam (ed.)
出版項 Berlin ; New York : Springer, c1997
國際標準書號 9783540625032 (paper)
book jacket
Record:   Prev Next