Normal view MARC view ISBD view

Verification, model checking, and abstract interpretation [ [Texte imprimé]] : 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings / Viktor Kuncak, Andrey Rybalchenko (eds.)

Auteur principal collectivité : VMCAI 2012, 13th, January 22-24, 2012, AuteurAuteur secondaire : : Kuncak, Viktor, Editeur scientifique;Rybalchenko, Andrey, Editeur scientifiquePublication : Berlin : Springer, cop. 2012Description : 1 vol. (XI-461 p.) : ill. ; 24 cmISBN : 978-3-642-27939-3.Bibliographie: Notes bibliogr. Index.Sujet - Nom d'actualité : Logiciels -- Vérification Sujet : Logiciel ;Interprétation abstraite ;Shape analysis ;Preuve ;Terminaison ;SAT ;SMT
Current location Call number Status Date due Barcode
Centre de recherche en informatique
PHI 12 Sur demande CRI06356D

Notes bibliogr. Index

Powered by Koha