Skip to main content

Verification, Model Checking, and Abstract Interpretation

0.0
VerificationComputer programs
Browse all genres
ISBN
9783540436317

Verification, Model Checking, and Abstract Interpretation est un verification, computer programs book de Agostino Cortesi.

Découvrez Verification, Model Checking, and Abstract Interpretation de Agostino Cortesi, verification.

À propos de l'auteur

Agostino Cortesi

est l'auteur de Verification, Model Checking, and Abstract Interpretation. Parcourez son catalogue complet sur Booklogr.

Explorez plus de livres de Agostino Cortesi →

É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 Agostino Cortesi.