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 es un computer software, verification, computer science book de Armin Biere.

Descubre Computer Aided Verification de Armin Biere, computer software, verification.

Sobre el Autor

Armin Biere

es el autor de Computer Aided Verification. Explora su catálogo completo en Booklogr.

Explora más libros de Armin Biere →

Ediciones y Formatos

Reseñas

Sin reseñas aún. ¿Has leído este libro? Comparte tus opiniones con la comunidad de Booklogr.

Iniciar sesión Inicia sesión para escribir una reseña

Preguntas Frecuentes

¿De qué género es Computer Aided Verification?+

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

¿Quién escribió Computer Aided Verification?+

Computer Aided Verification fue escrito por Armin Biere.