Normal view MARC view ISBD view

Verification, model checking, and abstract interpretation [ [Texte imprimé]] : 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings ; Ranjit Jhala, David Schmidt (eds.)

Auteur principal collectivité : International Conference on Verification, Model Checking, and Abstract Interpretation, 12, 2011, AuteurAuteur secondaire : : Schmidt, David A, 1953-...., Editeur scientifique;Jhala, Ranjit, Editeur scientifiquePublication : Berlin, Heidelberg : Springer, cop. 2011Description : 1 vol. (XI-418 p.) ; 24 cmISBN : 978-3-642-18274-7 ; 3-642-18274-7.Bibliographie: Notes bibliogr. en fin de chapitre. Index.Sujet - Nom d'actualité : Logiciels -- Vérification ;Débogage -- Actes de congrès Sujet : Logiciel ;Interprétation abstraite ;Nombre flottant ;Control flowgraph ;Terminaison ;Pointeur
Current location Call number Status Date due Barcode
Centre de recherche en informatique
AUS 11 Sur demande CRI06355D

Notes bibliogr. en fin de chapitre. Index

Powered by Koha