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,
Stock photo: cover may vary

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

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

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
  • Pages 444
  • Volumes 1
  • Language ENG
  • Publisher Springer
  • Publication date 1997-01-07
  • 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

More Copies for Sale

Analysis and Verification of Multiple-Agent Languages. Lecture Notes in Computer Science, Volume...
Stock photo: cover may vary

Analysis and Verification of Multiple-Agent Languages. Lecture Notes in Computer Science, Volume 1192

by Dam, Mads, ed.

  • Used
  • Paperback
Condition
Used
Binding
Paperback
ISBN 10 / ISBN 13
9783540625032 / 3540625038
Quantity available
1
Seller
Item price
A$59.12
A$6.62 Delivery to USA

Show details

Description:
Springer, 1997. 434 pp., ex library, else textually clean and tight, softcover. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Add to wish list
Item price
A$59.12
A$6.62 Delivery to USA
Analysis and Verification of Multiple-Agent Languages : 5th LOMAPS Workshop, Stockholm, Sweden,...

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

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540625032 / 3540625038
Quantity available
91
Seller
Item price
A$105.56
A$15.63 Delivery to USA

Show details

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
Add to wish list
Item price
A$105.56
A$15.63 Delivery to USA
Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden,...

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

by Mads Dam

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 10 / ISBN 13
9783540625032 / 3540625038
Quantity available
10
Seller
Item price
A$112.15
A$19.46 Delivery to USA

Show details

Description:
Paperback / softback. New. This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996.
Add to wish list
Item price
A$112.15
A$19.46 Delivery to USA
Analysis and Verification of Multiple-Agent Languages 5th LOMAPS Workshop, Stockholm, Sweden,...
Stock photo: cover may vary

Show details

Description:
like new.
Add to wish list
Item price
A$92.32
A$5.87 Delivery to USA
Analysis and Verification of Multiple-Agent Languages 5th LOMAPS Workshop, Stockholm, Sweden,...
Stock photo: cover may vary

Show details

Description:
new.
Add to wish list
Item price
A$95.01
A$5.87 Delivery to USA
Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden,...
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)

by Michalewicz, Z

  • New
  • Paperback
Condition
New
Edition
1997
Binding
Paperback
ISBN 10 / ISBN 13
9783540625032 / 3540625038
Quantity available
1
Seller
Item price
A$100.89
Free Delivery to USA

Show details

Description:
Springer, 1997-01-07. 1997. paperback. New. 6.10x1.02x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$100.89
Free Delivery to USA
Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden,...
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)

by Michalewicz, Z

  • Used
  • Paperback
Condition
Used
Edition
1997
Binding
Paperback
ISBN 10 / ISBN 13
9783540625032 / 3540625038
Quantity available
1
Seller
Item price
A$176.02
Free Delivery to USA

Show details

Description:
Springer, 1997-01-07. 1997. paperback. Used: Good. 6.10x1.02x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$176.02
Free Delivery to USA