Analysis

Analysis and verification of multiple-agent languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers

By - Editor: Dam, Mads
Floor - Floor 1
Published - Springer, Berlin, ©1997
ISBN 10 - 3540625038
Book Status - 1 Qnty Available with us.
Subject - Programming languages (Electronic computers)
Shelf No - 8
Call Number - 005.131 ANA
Book Information

Call Number – 005.131 ANA

Physical Description – viii, 434 pages: illustrations; 24 cm.

Notes – Includes Bibliographical References and Index.

This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996.

Open Book