Static analysis : second international symposium, SAS '95, Glasgow, UK, September 25 27, 1995 : proceedings

This book constitutes the refereed proceedings of the Second International Symposium on Static Analysis, SAS '95, held in Glasgow, UK, in September 1995. Static Analysis is increasingly recognized as a foundation for high-performance implementations and verification systems of high-level progra...

Disgrifiad llawn

Manylion Llyfryddiaeth

Awdur Corfforaethol:	International static analysis symposium :Glasgow
Awduron Eraill:	Mycroft, Alan, 19..- (Cyfarwyddwr cyhoeddi)
Fformat:	Livre numérique
Iaith:	Anglais
Cyhoeddwyd:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Cyfres:	Lecture notes in computer science 983
Pynciau:	Génie logiciel Informatique Langages de programmation Ordinateurs Logique symbolique et mathématique Actes de congrès
Mynediad Ar-lein:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nodyn:	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, second international symposium, SAS '95, Glasgow, UK, September 1995, proceedings, Alan Mycroft, ed, Berlin, Springer, 1995, 1 vol. (VIII-421 p.), Lecture notes in computer science, 3-540-60360-3 • Static Analysis, Texte imprimé, 9783662190111