Computer Aided Verification 24th International Conference
- ISBN
- 9783642314230
Computer Aided Verification 24th International Conference est un computer software, verification book de Madhusudan Parthasarathy.
Découvrez Computer Aided Verification 24th International Conference de Madhusudan Parthasarathy, computer software, verification.
À propos de l'auteur
est l'auteur de Computer Aided Verification 24th International Conference. Parcourez son catalogue complet sur Booklogr.
Explorez plus de livres de Madhusudan Parthasarathy →É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 Computer Aided Verification 24th International Conference ?+
Computer Aided Verification 24th International Conference est un livre de Computer software, verification.
Qui a écrit Computer Aided Verification 24th International Conference ?+
Computer Aided Verification 24th International Conference a été écrit par Madhusudan Parthasarathy.