Normal view MARC view ISBD view

Computer aided verification [ [Texte imprimé]] : 22nd International conference, CAV 2010, Edinburgh, UK, July 15-19, 2010 : proceedings ; Tayssir Touili, Byron Cook, Paul Jackson (eds.)

Auteur principal collectivité : International conference on computer-aided verification, 22, July 15-19, 2010, Auteur, CAV 2010Auteur secondaire : : Touili, Tayssir, 1976-...., Editeur scientifique;Jackson, Paul, informaticien, Editeur scientifique;Cook, Byron, Editeur scientifiquePublication : Berlin, New York : Springer, cop. 2010Description : 1 vol. (XVI-676 p.) : ill. ; 24 cmISBN : 978-3-642-14294-9 ; 3-642-14294-X.Bibliographie: Notes bibliogr. ; Author index p. 675-676.Sujet - Nom d'actualité : Logiciels -- Vérification Sujet : Logiciel ;Terminaison ;Pointeur ;Modèl Checking ;Interprétation abstraite
Current location Call number Status Date due Barcode
Centre de recherche en informatique
EDI 10 Sur demande CRI06352D

Notes bibliogr. ; Author index p. 675-676

Powered by Koha