Compartir
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs (BestMasters)
Vladimir Herdt (Autor)
·
Springer Vieweg
· Tapa Blanda
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs (BestMasters) - Vladimir Herdt
Sin Stock
Te enviaremos un correo cuando el libro vuelva a estar disponible
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
La encuadernación de esta edición es Tapa Blanda.
✓ Producto agregado correctamente al carro, Ir a Pagar.