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

Summary goes here

Spremljeno u:

Bibliografski detalji
Format:	Knjiga
Jezik:	engleski
Teme:	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.
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!

Opis
Sažetak:	Summary goes here
Opis predmeta:	General Notes
Opis fizičkog objekta:	1 online resource (xi, 481 pages) :illustrations
ISBN:	354024297X 9783540242970 3540305793 9783540305798