Books by Vladimir Herdt
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs
-20% with code BOOKS
In stock at our supplier
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
Rolf Drechsler, Vladimir Herdt, Daniel Große
-20% with code BOOKS
In stock at our supplier
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
Rolf Drechsler, Vladimir Herdt, Daniel Große
-20% with code BOOKS
In stock at our supplier