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

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

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

by Mads Dam (Editor)

Add to wish list
  • New
  • Paperback
New

Description

Paperback. New. New Book; Fast Shipping from UK; Not signed; Not First Edition; 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 app
Ask the seller a question Add to wish list
A$105.20
A$15.57 Delivery to USA
Standard delivery: 7 to 12 days
More delivery options
Ships from Ria Christie Collections (Greater London, United Kingdom)

Details

  • Title Analysis and Verification of Multiple-Agent Languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers
  • Author Mads Dam (Editor)
  • 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 # ria9783540625032_inp
  • 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 91

About Ria Christie Collections Greater London, United Kingdom

Biblio member since 2014

Hello We are professional online booksellers. We sell mostly new books and textbooks and we do our best to provide a competitive price. We are based in Greater London, UK. We pride ourselves by providing a good customer service throughout, shipping the items quickly and replying to customer queries promptly. Ria Christie Collections

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 Ria Christie Collections

Reader reviews for Analysis and Verification of Multiple-Agent Languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers

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-