Normal view MARC view ISBD view

Computer aided verification [] : 25th International conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013 : proceedings / Natasha Sharygina, Helmut Veith (eds.)

Auteur principal collectivité : Computer aided verification, International conference, 25, July 13-19,2013, AuteurAuteur secondaire : : Sharygina, Natasha, Editeur scientifique;Veith, Helmut, Editeur scientifiquePublication : Berlin, Heidelberg : Springer, cop. 2013Description : 1 vol. (XXI-1015 p.) : fig., graph., tabl. ; 24 cmISBN : 978-3-642-39798-1.Dewey: 005.1/4Bibliographie: Notes bibliogr. à la fin des contributions ; Author index p. 1013-1015.Sujet - Nom d'actualité : Logiciels -- Vérification Sujet : Analyse de pointeurs ;Shape analysis ;Sécurité ;SMT ;SAT ;Terminaison ;Système hybride ;BDD ;Modèl Checking ;Preuve automatique ;Logiciel
Current location Call number Status Notes Date due Barcode
Centre de recherche en informatique
SAI 13 Sur demande SAI 13 = Saint Petersburg 2013 CRI06350D

Notes bibliogr. à la fin des contributions ; Author index p. 1013-1015

Powered by Koha