Current Trends in Hardware Verification and Automated Theorem Proving
Editat de Graham Birtwistle et al.
17 sep 2011
Paperback
Preț: 630.38 lei 787.98 lei
6-8 săpt.
-20%
Cărți de P. A. Subrahmanyam
VLSI Specification, Verification and Synthesis
Editat de Graham Birtwistle et al.
14 aug 2013
Paperback
Preț: 621.67 lei 731.37 lei
6-8 săpt.
-15%