BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Analysis and Verification of Multiple-Agent Languages 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers (Lecture Notes in Computer Science)

Analysis and Verification of Multiple-Agent Languages 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers (Lecture Notes in Computer Science)

Analysis and Verification of Multiple-Agent Languages 5th LOMAPS Workshop,
Stock photo: cover may vary

Analysis and Verification of Multiple-Agent Languages 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers (Lecture Notes in Computer Science) Paperback - 1997 - 1997th Edition

by Mads Dam

Add to wish list
  • Used
New

Description

like new.
Ask the seller a question Add to wish list
A$92.32
A$5.87 Delivery within USA
Standard delivery: 2 to 14 days
More delivery options
Ships from GreatBookPrices (Maryland, United States)

Details

  • Title Analysis and Verification of Multiple-Agent Languages 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers (Lecture Notes in Computer Science)
  • Author Mads Dam
  • Binding Paperback
  • Edition number 1997th
  • Edition 1997
  • Condition New
  • Pages 444
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Publication date 1997-01-07
  • Bookseller's Inventory # 5905525
  • ISBN 9783540625032 / 3540625038
  • Weight 1.38 lbs (0.63 kg)
  • Dimensions 9.21 x 6.14 x 0.91 in (23.39 x 15.60 x 2.31 cm)
  • Category Computers - General Information
  • Library of Congress Catalogue Number 96053984
  • Dewey Decimal Code 005.131
  • Quantity available 5

About GreatBookPrices Maryland, United States

Biblio member since 2024

Since 1991, we have worked every day to serve our customers with state-of-the-art technology and world class service. We are dedicated to providing customers around the world with the widest selection of books, DVDs, and CDs at the absolute lowest price.

Terms of Sale: 30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.

Browse books from GreatBookPrices

Reader reviews for Analysis and Verification of Multiple-Agent Languages 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers (Lecture Notes in Computer Science)

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

First line

The LOMAPS project studies the use of Logical and Operational Methods in the Analysis of Programs and Systems and is sponsored by ESPRIT Basic Research.1
tracking-