or
Sign in to turn on 1-Click ordering.
 
 
More Buying Choices
17 used & new from £4.75
Have one to sell? Sell yours here
 
   
Analysis and Verification of Multiple-Agent Languages: 5th Lomaps Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers (Lecture Notes in Computer Science)
 
 
Share your own customer images
Search inside this book

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

by Mads Dam (Editor) "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..." (more)
No customer reviews yet. Be the first.
Price: £43.99 & this item Delivered FREE in the UK with Super Saver Delivery. See details and conditions
o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o o
Usually dispatched within 1 to 3 weeks.
Dispatched from and sold by Amazon.co.uk. Gift-wrap available.

11 new from £41.36 6 used from £4.75

Product details

  • Paperback: 435 pages
  • Publisher: Springer (7 Jan 1997)
  • Language English
  • ISBN-10: 3540625038
  • ISBN-13: 978-3540625032
  • Product Dimensions: 23.9 x 16.3 x 2.3 cm
  • Average Customer Review: No customer reviews yet. Be the first.

    •  Would you like to update product info or give feedback on images?

Product Description

Product Description

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.
Inside This Book (Learn More)
First Sentence
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 Read the first page
Explore More
Concordance
Browse Sample Pages
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
Search inside this book:

Tag this product

 (What's this?)
Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items.
Your tags: Add your first tag
 
See most popular tags

Customer Reviews


There are no customer reviews yet.
Video reviews
Video reviews
Amazon now allows customers to upload product video reviews. Use a webcam or video camera to record and upload reviews to Amazon.


Customer Discussions

This product's forum
Discussion Replies Latest Post
No discussions yet

Ask questions, Share opinions, Gain insight
Start a new discussion
Topic:
First post:
Prompts for sign-in
 

   

Look for similar items by category

Look for similar items by subject





















i.e., each product must be in subject 1 AND subject 2 AND ...

Feedback

Ad

Your Recent History

 (What's this?)

After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in.