Complete Symbolic Simulation of Systemc Models: Efficient Formal Verification of Finite Non-Terminating Programs baixar o livro de graça
Formatos de livro
- Complete Symbolic Simulation of Systemc Models: Efficient Formal Verification of Finite Non-Terminating Programs baixar pdf
- Complete Symbolic Simulation of Systemc Models: Efficient Formal Verification of Finite Non-Terminating Programs baixar mp3
- Complete Symbolic Simulation of Systemc Models: Efficient Formal Verification of Finite Non-Terminating Programs baixar áudio-livro
- Complete Symbolic Simulation of Systemc Models: Efficient Formal Verification of Finite Non-Terminating Programs baixar kindle
de Vladimir Herdt
Publisher Springer Vieweg
- Vladimir Herdt Autor:
- 3658126795 Isbn 10:
- 978-3658126797 Isbn 13:
- Capa comum Páginas de capa mole:
- Springer Vieweg Publisher:
- 503 g Peso:
- 503 g Peso:
- Inglês Idioma:
- 163 páginas Livro de capa mole Complete Symbolic Simulation of Systemc Models: Efficient Formal Verification of Finite Non-Terminating Programs:
