Static analysis : 4th international symposium, SAS '97, Paris, France, September 8-10, 1997 : proceedings

This book presents the refereed proceedings of the 4th International Symposium on Static Analysis, SAS '97, held in Paris, France, in September 1997. The 23 revised papers were selected from 61 high-quality submissions on the basis of at least three reviews. Also included are one system demonst...

詳細記述

書誌詳細

団体著者:	International static analysis symposium :Paris
その他の著者:	Van Hentenryck, Pascal, 1963- (出版デイレクター)
フォーマット:	Livre numérique
言語:	Anglais
出版事項:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
シリーズ:	Lecture notes in computer science 1302
主題:	Génie logiciel Informatique Langages de programmation Ordinateurs Logique symbolique et mathématique Programmation fonctionnelle (informatique) Programmation logique Actes de congrès
オンライン･アクセス:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
注記:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Static analysis, 4th international symposium, SAS '97, Paris, France, September 8-10, 1997, proceedings, Pascal van Hentenryck (ed.), 1997, Berlin, Springer, 1 vol. (X-412 p.), Lecture notes in computer science, 3-540-63468-1 • Static Analysis, Texte imprimé, 9783662178638