Descripció: Verification, model checking, and abstract interpretation : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : proceedings / Radhia Cousot (ed.).

Summary goes here

Guardat en:

Dades bibliogràfiques
Format:	Llibre
Idioma:	anglès
Matèries:	Computer programs Logiciels COMPUTERS Informatique. Vérification de logiciels. Model-checking (Informatique) Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès.
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Descripció
Sumari:	Summary goes here
Descripció de l’ítem:	General Notes
Descripció física:	1 online resource (xi, 481 pages) :illustrations
ISBN:	354024297X 9783540242970 3540305793 9783540305798