Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Titre(s) : Static Analysis [Texte électronique] : 20th International Symposium : proceedings / SAS 2013, Seattle, WA, USA, June 20-22, 2013 ; Francesco Logozzo ... [et al.] (eds.)

Publication : Heidelberg : Springer, 2013

Description matérielle : 1 ressource dématérialisée

Collection : Lecture notes in computer science : Advanced research in computing and software science ; 7935

Autre(s) auteur(s) : Static analysis (International symposium20 ; Seatle, WA, USAJune 20-22, 2013)  Voir les notices liées en tant qu'auteur
Logozzo, Francesco. Fonction indéterminée  Voir les notices liées en tant qu'auteur
International Static Analysis Symposium. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Programmation (informatique)  Voir les notices liées en tant que sujet
Langages de programmation  Voir les notices liées en tant que sujet

Genre ou forme : Actes de congrès  Voir les notices liées en tant que genre ou forme

Indice(s) Dewey :  005.101 5113 (23e éd.) = Développement de logiciels - Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783642388569

Identifiant de la notice  : ark:/12148/cb44707294n

Notice n° :  FRBNF44707294 (notice reprise d'un réservoir extérieur)