Author books / Книги автора Vladimir Herdt (auth.) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Vladimir Herdt (auth.)

book Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs

Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs

pdf

Author: Vladimir Herdt (auth.)
Language: English
Year: 2016

00

27.01.2024

0

0