Scalable Techniques for Formal Verification
Autor Sandip Ray
25 mai 2010
Hardback
Preț: 621.94 lei 731.70 lei
43-57 zile
-15%
Cărți de Sandip Ray
Internet of Things. A Confluence of Many Disciplines: Second IFIP International Cross-Domain Conference, IFIPIoT 2019, Tampa, FL, USA, October 31 – November 1, 2019, Revised Selected Papers
Editat de Augusto Casaca et al.
10 mar 2020
Hardback
Preț: 328.16 lei 410.20 lei
43-57 zile
-20%
Fundamentals of IP and SoC Security
Editat de Swarup Bhunia et al.
feb 2017
Hardback
Preț: 761.73 lei 928.94 lei
43-57 zile
-18%
Security Policy in System-on-Chip Designs: Specification, Implementation and Verification
Autor Sandip Ray et al.
20 oct 2018
Hardback
Preț: 371.00 lei
43-57 zile
Semiconductor Memories: Design, Modeling, Abstraction, and Verification
Autor Sandip Ray et al.
2 ian 2016
Hardback
Preț: 576.92 lei 648.23 lei
Nepublicat încă
-11% Precomandă