Analysis and Verification of Multiple-Agent Languages

Name: Analysis and Verification of Multiple-Agent Languages: 5th Lomaps Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers
Brand: Springer
SKU: 9783540625032
Price: 5598.00 INR
Availability: InStock

5th Lomaps Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers

by Mads Dam

Springer

₹5,598

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

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.

Description supplied by the publisher.