Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings
Editat de Aarti Gupta et al.
17 iun 2008
Paperback
Preț: 825.93 lei 1032.41 lei
22-36 zile
-20%
Cărți de Sharad Malik
Performance Analysis of Real-Time Embedded Software
Autor Yau-Tsun Steven Li et al.
30 noi 1998
Hardback
Preț: 640.06 lei 753.01 lei
43-57 zile
-15%
Asynchronous Circuit Design for VLSI Signal Processing
Editat de Teresa H. Meng et al.
31 mar 1994
Hardback
Preț: 948.92 lei 1157.22 lei
43-57 zile
-18%