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, 1192)

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

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, 1192) Paperback - 1997 - 1997th Edition

by Michalewicz, Z

Add to wish list
  • Used
  • Paperback
Used: Good

Description

Springer, 1997-01-07. 1997. paperback. Used: Good. 6.10x1.02x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Ask the seller a question Add to wish list
A$174.77
Free Delivery within USA
Standard delivery: 5 to 10 days
More delivery options
Dropship order
Ships from Ergodebooks (Texas, 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, 1192)
  • Author Michalewicz, Z
  • Binding Paperback
  • Edition number 1997th
  • Edition 1997
  • Condition Used: Good
  • Pages 444
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Publication date 1997-01-07
  • Bookseller's Inventory # SONG3540625038
  • 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)
  • Size 6.10x1.02x9.25
  • Category Computers - General Information
  • Library of Congress Catalogue Number 96053984
  • Dewey Decimal Code 005.131
  • Quantity available 1

About Ergodebooks Texas, United States

Biblio member since 2005

Our goal is to provide best customer service and good condition books for the lowest possible price. We are always honest about condition of book. We list book only by ISBN # and hence exact book is guaranteed.

Terms of Sale:

We have 30 day return policy.

Browse books from Ergodebooks

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, 1192)

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-