Constraint-Based Verification
De qué va esta obra
Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular. It relates constrained verification with the also-hot technology called assertion-based design. Discussed and clarifies language issues, critical to both the above, which will help the implementation of these languages.
Descubre cómo acceder al libro
Sigue tu recorrido por la biblioteca: consulta las opciones disponibles para esta obra.
Valoración
Otros libros de la categoría Informática
Últimos libros y autores buscados
El reino
Jo Nesbo
El juego del alma
Javier Castillo
Sin complejos
Esperanza Aguirre
Castellano
Lorenzo Silva