Normal view MARC view ISBD view

Static analysis [Texte imprimé] : 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004proceedings / Roberto Giacobazzi (ed.)

Auteur principal collectivité : International Static Analysis Symposium, 11th, 2004, AuteurAuteur secondaire : : Giacobazzi, Roberto, Editeur scientifiquePublication :Berlin, New York : Springer, cop. 2004Description : XI-392 p. : ill. ; 24 cmISBN : 3-540-22791-1.Collections : Lecture notes in computer science, 3148Bibliographie: Contient des notes bibliogr. Index.Sujet - Nom d'actualité : Langages de programmation -- Congrès ;Ordinateurs -- Programmation Sujet : SURETE ;SECURITE ;ANALYSE SEMANTIQUE ;Pointeur ;Preuve de programme
Current location Call number Status Date due Barcode
Centre de recherche en informatique
VER 04 Available CRI05810D

Contient des notes bibliogr. Index

Powered by Koha

//]]>