Normal view MARC view ISBD view

Static Analysis, 17th International Symposium, SAS 2010, Perpignan, France, September 2010 [ [Texte imprimé]] ; Eds.: Radhia Cousot, Matthieu Martel

Auteur principal collectivité : International Static Analysis Symposium, 17, 14-16, 2010, SAS 2010Auteur secondaire : : Editeur scientifique, Cousot, Radhia; Editeur scientifique, Martel, Matthieu, 1973-....Publication :2010, Berlin : SpringerDescription : 1 vol. (XI-471 p.) ; 24 cmISBN : 978-3-642-15768-4.Bibliographie: Notes bibliogr. à la fin de chaque article.Sujet : Logiciel ;Interprétation abstraite ;Analyse de pointeurs ;Transformation de programme ;Analyse interprocédurale
Current location Call number Status Date due Barcode
Centre de recherche en informatique
PER 10 Sur demande CRI06170D

Notes bibliogr. à la fin de chaque article

Powered by Koha