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...
Uloženo v:
| Korporativní autor: | |
|---|---|
| Další autoři: | |
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Edice: | Lecture notes in computer science
983 |
| Témata: | |
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
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 |