Normal view MARC view ISBD view

Static analysis [ [Texte imprimé]] : 20th International symposium, SAS 2013, Seatle, WA, USA, June 20-22, 2013 : proceedings ; Francesco Logozzo, Manuel Fähndrich (eds.)

Auteur principal collectivité : Static analysis, International symposium, 20th, SAS 2013, June 20-22, 2013, AuteurAuteur secondaire : : Fähndrich, Manuel, Editeur scientifique;Logozzo, Francesco, 1976-...., Editeur scientifiquePublication : Berlin, Heidelberg : Springer, cop. 2013Description : 1 vol. (X-498 p.) : fig., tabl. ; 24 cmISBN : 978-3-642-38855-2.Bibliographie: Notes bibliogr. en fin de contributions ; Author index.Sujet - Nom d'actualité : Langages de programmation -- Actes de congrès ;Ordinateurs -- Programmation Sujet : Logiciel ;Interprétation abstraite ;Analyse statique ;Synthèse de code ;Shape analysis ;Parallélisme ;Nombre flottant ;Transformation de programme
Current location Call number Status Date due Barcode
Centre de recherche en informatique
SEA 13 Sur demande CRI06344D

Notes bibliogr. en fin de contributions ; Author index

Powered by Koha