Record:   Prev Next
作者 LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages (5th : 1996 : Stockholm, Sweden)
書名 Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers / Mads Dam (ed.)
出版項 Berlin ; New York : Springer, c1997
國際標準書號 3540625038 (alk. paper)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 資訊所圖書室叢書區  SerPro D3.2 A532 1996  LNCS 1192    館內使用    30330000120720
說明 viii, 434 p. : ill. ; 24 cm
系列 Lecture notes in computer science ; 1192
附註 Includes bibliographical references and indexes
Also available online
主題 Programming languages (Electronic computers) -- Congresses
Multiple-agent languages iisf
Alt Author Dam, Mads
Alt Title LOMAPS
Record:   Prev Next