Static analysis: 4th international symposium, sas '97, paris, france, september 8-10, 1997: proceedings
Auteur :
Hentenryck, P.V.
ISBN :
9783540634683
Date de publication :
27 août 1997
Dimensions :
27,9 x 21,6 x 2,2 cm
Poids :
1330 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
These refereed proceedings of the fourth International Symposium on Static Analysis are organized in topical sections on procedural languages, logic programming, concurrency and termination.