Scalable Techniques for Formal Verification
Autor Sandip Ray
25 mai 2010
Hardback
Preț: 621.94 lei 731.70 lei
6-8 săpt.
-15%
Cărți de Sandip Ray
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.
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
6-8 săpt.
-20%
Fundamentals of IP and SoC Security: Design, Verification, and Debug
Editat de Swarup Bhunia et al.
18 iul 2018
Paperback
Preț: 562.71 lei 662.02 lei
6-8 săpt.
-15%
Security Policy in System-on-Chip Designs: Specification, Implementation and Verification
Autor Sandip Ray et al.
13 dec 2018
Paperback
Preț: 369.65 lei
38-44 zile