Skip to main content

Verification, Model Checking, and Abstract Interpretation

0.0
VérificationVerificationLogicielsComputer programs
Browse all genres
ISBN
9783540305798

Verification, Model Checking, and Abstract Interpretation est un vérification, verification book de Radhia Cousot.

Découvrez Verification, Model Checking, and Abstract Interpretation de Radhia Cousot, vérification.

À propos de l'auteur

Radhia Cousot

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

Explorez plus de livres de Radhia Cousot →

É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 Vérification, Verification, Logiciels, Computer programs.

Qui a écrit Verification, Model Checking, and Abstract Interpretation ?+

Verification, Model Checking, and Abstract Interpretation a été écrit par Radhia Cousot.