Scalable Techniques for Formal Verification
Autor Sandip Ray
25 mai 2010
Hardback
Preț: 619.91 lei 729.31 lei
6-8 săpt.
-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 2021
Paperback
Preț: 321.98 lei 402.47 lei
6-8 săpt.
-20%
Fundamentals of IP and SoC Security: Design, Verification, and Debug
Editat de Swarup Bhunia et al.
feb 2017
Hardback
Preț: 758.02 lei 924.41 lei
6-8 săpt.
-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
6-8 săpt.
Satyajit Ray on Cinema: Cerebral Plasticity, Regeneration, and Enhancement
Autor Satyajit Ray et al.
apr 2013
Paperback
Preț: 188.31 lei
6-8 săpt.