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

Auteur(s) : VMCAI Conférence (16e ; 2015 ; Mumbai, Inde)  Voir les notices liées en tant qu'auteur

Titre(s) : Verification, model checking, and abstract interpretation [Texte électronique] : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings / Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen (eds.)

Publication : Heidelberg : Springer, 2014

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

Collection : Lecture notes in computer science ; 8931
Advanced research in computing and software science
LNCS sublibrary. SL 1, Theoretical computer science and general issues

Note(s) : Titre de l'écran-titre (visionné le 16 janvier 2015). - Comprend des références bibliographiques

Autre(s) auteur(s) : D'Souza, Deepak. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Lal, Akash. Fonction indéterminée  Voir les notices liées en tant qu'auteur
Larsen, Kim G. (1957-....). Fonction indéterminée  Voir les notices liées en tant qu'auteur
D'Souza, Deepak. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Autre(s) forme(s) du titre : 
- Autre forme du titre : VMCAI 2015

Indice(s) Dewey :  005.14 (23e éd.) = Programmation (informatique) - Vérification, tests, mesures, débogage  Voir les notices liées en tant que sujet ; 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 9783662460818

Identifiant de la notice  : ark:/12148/cb44713690m

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