Static analysis : 9th International Symposium, SAS 2002, Madrid, Spain, September 17 20, 2002 : roceedings

Enregistré dans:
Détails bibliographiques
Collectivité auteur: International static analysis symposium :Madrid
Autres auteurs: Hermenegildo, Manuel (Directeur de la publication), Puebla, Germán, 19..- (Directeur de la publication)
Format: Livre numérique
Langue:Anglais
Publié: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Collection:Lecture notes in computer science 2477
Sujets:
Accès en ligne:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Note: 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, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, proceedings, Manuel V. Hermenegildo, Germán Puebla, (eds.), Berlin, Springer, 2002, 1 vol. (XI-525 p.), Lecture notes in computer science, 3-540-44235-9
• Static Analysis, Texte imprimé, 9783662197905

En ligne

Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL