Verification, model checking, and abstract interpretation
by VMCAI 2004 (Conference) (2004 Venice, Italy)
- ISBN
- 3540208038
Verification, model checking, and abstract interpretation est un verification, computer programs book de VMCAI 2004 (Conference) (2004 Venice, Italy).
Découvrez Verification, model checking, and abstract interpretation de VMCAI 2004 (Conference) (2004 Venice, Italy), verification.
À propos de l'auteur
est l'auteur de Verification, model checking, and abstract interpretation. Parcourez son catalogue complet sur Booklogr.
Explorez plus de livres de VMCAI 2004 (Conference) (2004 Venice, Italy) →Éditions et Formats
Critiques
Pas encore de critiques. Avez-vous lu ce livre ? Partagez vos impressions avec la communauté Booklogr.
Se connecter Connectez-vous pour écrire une critique
Questions Fréquentes
Quel est le genre de Verification, model checking, and abstract interpretation ?+
Verification, model checking, and abstract interpretation est un livre de Verification, Computer programs.
Qui a écrit Verification, model checking, and abstract interpretation ?+
Verification, model checking, and abstract interpretation a été écrit par VMCAI 2004 (Conference) (2004 Venice, Italy).