Normal view MARC view ISBD view

Verification, model checking, and abstract interpretation [ [Texte imprimé]] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, proceedings ; Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni (Eds.)

Auteur principal : Giacobazzi, RobertoCo-auteur : Berdine, Josh, chercheur en informatique, Editeur scientifique;Mastroeni, Isabella, chercheur en informatique, Editeur scientifiqueAuteur secondaire collectivité : International Conference on Verification, Model Checking, and Abstract Interpretation, 14, 2013Publication : Heidelberg, Dordrecht, London, New York : Springer, cop. 2013Description : 1 vol. (XI-556 p.) ; 24 cmISBN : 978-3-642-35872-2 ; 3-642-35872-1.Bibliographie: Bibliogr. en fin de chap..Sujet - Nom d'actualité : Logiciels -- Vérification ;Systèmes, Analyse de Sujet : Logiciel ;Interprétation abstraite ;Analyse statique
Current location Call number Status Date due Barcode
Centre de recherche en informatique
ROM 13 Sur demande CRI06357D

Bibliogr. en fin de chap.

Powered by Koha