{"product_id":"analysis-and-verification-of-multiple-agent-mads-dam-9783540625032","title":"Analysis and Verification of Multiple-Agent Languages: 5th Lomaps Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers","description":"This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and verification techniques applicable to emerging multi-paradigm programming languages.\u003cbr\u003eThe volume presents 14 revised full papers selected from the workshop submissions together with 4 invited contributions; also included is an introductory overview surveying the state of the art in the area and putting the contributions into this context.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Mads Dam\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3540625038\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783540625032\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 01\/07\/1997\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 444\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.38lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 0.91d","brand":"Mads Dam","offers":[{"title":"Paperback","offer_id":48486956335359,"sku":"9783540625032","price":54.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_e819d7b0-0c26-44e8-a81e-fdf1f0e11bc7.jpg?v=1778057384","url":"https:\/\/www.whiterainbookhouse.com\/products\/analysis-and-verification-of-multiple-agent-mads-dam-9783540625032","provider":"WR Book House","version":"1.0","type":"link"}