Skip to product information
1 of 1

Analysis and Verification of Multiple-Agent Languages: 5th Lomaps Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers - Paperback

Analysis and Verification of Multiple-Agent Languages: 5th Lomaps Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers - Paperback

Regular price $106.90 USD
Regular price Sale price $106.90 USD
Sale Sold out
Shipping calculated at checkout.

Shipping: $8.00 or FREE when you spend $100+

Quantity

by Mads Dam (Editor)

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.
The 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.

Number of Pages: 444
Dimensions: 0.91 x 9.21 x 6.14 IN
Publication Date: January 07, 1997
View full details