Verification, Model Checking, and Abstract Interpretation
- ISBN
- 9783540697381
Verification, Model Checking, and Abstract Interpretation est un computer programming, computers book de Kedar S. Namjoshi.
Découvrez Verification, Model Checking, and Abstract Interpretation de Kedar S. Namjoshi, computer programming.
À 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 Kedar S. Namjoshi →É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 Computer Programming, Computers, Computers - General Information, Computer Books: General, Logic Design.
Qui a écrit Verification, Model Checking, and Abstract Interpretation ?+
Verification, Model Checking, and Abstract Interpretation a été écrit par Kedar S. Namjoshi.