MARC 主機 00000nam  2200277 a 4500 
001    978-3-540-62503-2 
003    GreenPo 
005    20100330144342.0 
006    m        d         
007    cr nn 008maaau 
008    100329s1997    gw      s  j        eng d 
020    9783540625032 (paper) 
050 00 QA76.7|b.L662 1996 
082 00 005.131|221 
111 2  LOMAPS Workshop|n(5th :|d1996 :|cStockholm, Sweden) 
245 10 Analysis and verification of multiple-agent languages
       |h[electronic resource] :|b5th LOMAPS Workshop, Stockholm,
       Sweden, June 24-26, 1996 : selected papers /|cMads Dam 
       (ed.) 
260    Berlin ;|aNew York :|bSpringer,|cc1997 
300    viii, 434 p. :|bdigital ;|c24 cm 
440  0 Lecture notes in computer science ;|v1192 
590    Springer 
650  0 Programming languages (Electronic computers)|xCongresses 
700 1  Dam, Mads 
710 2  SpringerLink (Online service) 
773 0  |tSpringer e-books 
856 40 |uhttp://dx.doi.org/10.1007/3-540-62503-8|zeBook(Springer)