Analysis and Verification of Multiple-Agent Languages : Selected Papers : 5th Lomaps Workshop, Stockholm, Sweden, June 1996 (Lecture Notes in computer

Analysis and Verification of Multiple-Agent Languages : Selected Papers : 5th Lomaps Workshop, Stockholm, Sweden, June 1996 (Lecture Notes in computer
This single book has all you've
been looking for, doesn't it ?



Buy it Now!
by Sweden)/ Dam, Mads Lomaps Workshop 1996 Stockholm

List Price:   $80.00

Our Price:   $80.00


Availability: Usually ships within 24 hours.


Living in UK? Get It Here!
Living in Deutschland? Get It Here!
Living in France? Get It Here!

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



    Back to:

  Agents

  Web Programming

  Main Index


      Search:   Keywords:

 

In Association with Amazon.com, Amazon.co.uk, Amazon.de, Amazon.fr
Copyright (c) by Eugene Kisly and Victor Kisly, 1999-2000