Normal view MARC view ISBD view

Verification, Model Checking, and Abstract Interpretation [ [Texte imprimé]] : 11th International Conference, VMCAI 2010, Madrid, Spain, USA, January 17-19, 2010 : proceedings ; Gilles Barthe, Manuel Hermenegildo (eds.)

Auteur principal collectivité : VMCAI 2010, 11th, January 17-19, 2010, AuteurAuteur secondaire : : Barthe, Gilles, 1967-...., Editeur scientifique;Hermenegildo, Manuel, Editeur scientifiquePublication : Berlin : Springer, cop. 2010Description : 1 vol. (X-397 p.) : ill. ; 24 cmISBN : 978-3-642-11318-5 ; 3-642-11318-4.Bibliographie: Notes bibliogr. ; Author Index.Sujet - Nom d'actualité : Logiciels -- Vérification Sujet : Logiciel ;Analyse statique ;Interprétation abstraite ;Modèl Checking ;Shape analysis
Current location Call number Status Date due Barcode
Centre de recherche en informatique
MAD 10 Sur demande CRI06363D

Notes bibliogr. ; Author Index

Powered by Koha