Vladimir Herdt – författare

Visar alla böcker från författaren .

4 produkter

Kategorier

4 produkter

Enhanced Virtual Prototyping
Featuring RISC-V Case Studies
AvVladimir Herdt,Daniel Großem. fl.
Inbunden, Engelska, 2020
1 689 kr
Skickas inom 10-15 vardagar
Enhanced Virtual Prototyping
Featuring RISC-V Case Studies
AvVladimir Herdt,Daniel Großem. fl.
Häftad, Engelska, 2021
1 199 kr
Skickas inom 10-15 vardagar
Verbessertes virtuelles Prototyping
Mit RISC-V-Fallstudien
AvVladimir Herdt,Daniel Großem. fl.
Inbunden, Tyska, 2023
1 189 kr
Skickas inom 10-15 vardagar
Complete Symbolic Simulation of SystemC Models
Efficient Formal Verification of Finite Non-Terminating Programs
AvVladimir Herdt
Häftad, Engelska, 2016
729 kr
Skickas inom 10-15 vardagar