Springer
Analysis and Verification of Multiple-Agent Languages (English, Mads Dam)
₹5,598
Inclusive of all taxes. Free shipping on orders above ₹499.
Quantity:
1
Free DeliveryAbove ₹499
7-Day ReturnEasy returns
100% AuthenticVerified product
Product Description
About the Book
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 ov…
ISBN: 9783540625032
Specifications
| Publisher | Springer |
| Language | English |
| ISBN-13 | 9783540625032 |
| ISBN-10 | 3540625038 |
| Author | Mads Dam |
