Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Auteur(s) : Hutchison, David (1949-....)
Titre(s) : Static Analysis [Texte électronique] : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, María Alpuente, Germán Vidal
Publication : Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg : Springer e-books, 2008
Collection : Lecture Notes in Computer Science ; 5079
Computer Science (Springer-11645; ZDB-2-SCS)
Note(s) : Fichier PDF.
Autre(s) auteur(s) : Alpuente, María. Fonction indéterminée
Kanade, Takeo. Fonction indéterminée
Kittler, Josef (1946-....). Fonction indéterminée
Kleinberg, Jon M.. Fonction indéterminée
Mattern, Friedemann. Fonction indéterminée
Mitchell, John C.. Fonction indéterminée
Naor, Moni (1961-....). Fonction indéterminée
Nierstrasz, Oscar. Fonction indéterminée
Pandu Rangan, C. Fonction indéterminée
Steffen, Bernhard (1958-....). Fonction indéterminée
Sudan, Madhu. Fonction indéterminée
Terzopoulos, Demetri. Fonction indéterminée
Tygar, Doug. Fonction indéterminée
Vardi, Moshe Ya'akov (1954-....). Fonction indéterminée
Vidal, Germán. Fonction indéterminée
Weikum, Gerhard. Fonction indéterminée
Sujet(s) : Génie logiciel
Informatique
Logiciels -- Vérification
Langages de programmation
Programmation (informatique)
Logique mathématique
Indice(s) Dewey :
005.1 (23e éd.) = Développement de logiciels
Identifiants, prix et caractéristiques : ISBN 9783540691662
Identifiant de la notice : ark:/12148/cb446941810
Notice n° :
FRBNF44694181
(notice reprise d'un réservoir extérieur)