Atnaujintas knygų su minimaliais defektais pasiūlymas! Naršykite ČIA >>

Vladimir Herdt

Rasta: 3
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs
-15% su kodu: ENG15
71,98 
84,68 
Išsiųsime per 11-15 d. d.
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
-15% su kodu: ENG15
168,28 
197,98 
Išsiųsime per 11-15 d. d.
Enhanced Virtual Prototyping: Featuring RISC-V Case Studies
-15% su kodu: ENG15
119,20 
140,23 
Išsiųsime per 11-15 d. d.
Rasta: 3