STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Vladimir Herdt | lit.salon
Vladimir Herdt
No bio available.
Add one in Open Library.
Books by Vladimir Herdt (50 max)
+ shelf
+ list
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
2016
Vladimir Herdt
+ shelf
+ list
Enhanced Virtual Prototyping Featuring RISC-V Case Studies
2020
Vladimir Herdt, Daniel Große, Rolf Drechsler
+ shelf
+ list
Erweitertes Virtuelles Prototyping: Mit RISC-V-Fallstudien
2023
Vladimir Herdt, Daniel Große, Rolf Drechsler
