Skip to main content

Computer Aided Verification

0.0
Computer software, verificationComputer scienceComputer network architecturesSoftware engineeringLogic design
Browse all genres
ISBN
9783319088662

Computer Aided Verification est un computer software, verification, computer science book de Armin Biere.

Découvrez Computer Aided Verification de Armin Biere, computer software, verification.

À propos de l'auteur

Armin Biere

est l'auteur de Computer Aided Verification. Parcourez son catalogue complet sur Booklogr.

Explorez plus de livres de Armin Biere →

É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 ?+

Computer Aided Verification est un livre de Computer software, verification, Computer science, Computer network architectures, Software engineering, Logic design.

Qui a écrit Computer Aided Verification ?+

Computer Aided Verification a été écrit par Armin Biere.