Analysis and Verification of Multiple-Agent Languages (English, Mads Dam)
by Mads Dam
Delivery options
₹5,598
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,598
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540625032
ISBN-10
3540625038
Author
Mads Dam
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
ISBN-13: 9783540625032
ISBN-10: 3540625038
Frequently Asked Questions
What is the price of Analysis and Verification of Multiple-Agent Languages?
Analysis and Verification of Multiple-Agent Languages starts from ₹5598 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Analysis and Verification of Multiple-Agent Languages?
Mads Dam is the author of Analysis and Verification of Multiple-Agent Languages. Browse more books by Mads Dam on BookBajar.
Is Analysis and Verification of Multiple-Agent Languages available in Paperback and Hardcover?
Yes, Analysis and Verification of Multiple-Agent Languages is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Analysis and Verification of Multiple-Agent Languages?
Yes, BookBajar offers free delivery for Analysis and Verification of Multiple-Agent Languages across India. No minimum order value required.
Is Cash on Delivery available for Analysis and Verification of Multiple-Agent Languages?
Yes, Cash on Delivery (COD) is available for Analysis and Verification of Multiple-Agent Languages on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540625032
🛒 Customers Also Bought
Der Hochbau (English, Silvio Mohr)
₹5,914
Formeln Und Tabellen Aus Dem Gebiete Der Funktechnik (English, Wilhelm Spreen | Eugen Nesper)
₹4,352
Hochschulerfinderrecht (English, Klaus Ferdinand Gärditz | Louis Pahlow)
₹5,229
Planung Und Auslegung Des Materialflusses Flexibler Fertigungssysteme (English, R. Wilhelm)
₹4,177
Maschinelle Handwerkzeuge (English, Hellmuth Graf)
₹4,221
Konstruktionslehre (English, Helmut Geupel)
₹2,808Related Products
Fishes of the Dakotas (English, Kathryn E. Schlafke | Matthew D. Wagner | Chelsey A. Pasbrig)
₹3,883
Analysis III (English, Godement)
₹2,495
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
Problem-Solving Methods in Combinatorics (English, Pablo Soberón)
₹4,211