Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>
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.
Serija: | Lecture Notes in Computer Science |
Leidėjas: | Springer Berlin Heidelberg |
Išleidimo metai: | 1997 |
Knygos puslapių skaičius: | 452 |
ISBN-10: | 3540625038 |
ISBN-13: | 9783540625032 |
Formatas: | 235 x 155 x 25 mm. Knyga minkštu viršeliu |
Kalba: | Anglų |
Parašykite atsiliepimą apie „Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers“