Analysis and verification of multiple-agent languages: 5th lomaps workshop, stockholm, sweden, june 24-26, 1996, selected papers
Auteur :
Dam, M.
ISBN :
9783540625032
Date de publication :
7 janv. 1997
Dimensions :
23,4 x 15,6 x 2,3 cm
Poids :
1390 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The LOMAPS Workshop is an ESPRIT project devoted to program analysis and and verification techniques applicable to emerging multi-paradigm programming languages. This volume presents 14 revised full papers selected from the workshop submissions, together with four invited contributions.