|
Solis D. Guidelines for Digital Identity Verification 2023
11 months, 3 weeks
Files: 1 Total size: 33.4 MB Total requests: 371 Last access time: 3 weeks, 3 days
|
Files: 1 Total size: 2.5 MB Total requests: 76 Last access time: 12 hours, 23 minutes
|
|
Electronic Design Automation for IC System - Design, Verification and Testing - 2nd Edition (2016) (Pdf) Gooner
1 year, 1 month
Files: 3 Total size: 27.7 MB Total requests: 279 Last access time: 4 days
|
|
Electronic Design Automation - Synthesis, Verification, and Test (2009) (Malestrom).pdf
1 year, 1 month
Files: 1 Total size: 19.9 MB Total requests: 131 Last access time: 1 day, 15 hours
|
|
Sitnikovski B. Introducing Software Verification...Dafny...2022
1 year, 3 months
Files: 1 Total size: 2.4 MB Total requests: 215 Last access time: 3 days, 11 hours
|
|
[ CourseWikia.com ] VLSI Specification, Verification and Synthesis
1 year, 3 months
Files: 3 Total size: 32.2 MB Total requests: 693 Last access time: 8 hours, 10 minutes
|
|
Rigorous Software Development - An Intro to program Verification - J. Almeida, et al., (Springer, 2011) WW.pdf
1 year, 3 months
Files: 1 Total size: 2.3 MB Total requests: 126 Last access time: 1 month, 1 week
|
Files: 1 Total size: 11.0 MB Total requests: 331 Last access time: 1 day, 2 hours
|
|
Russinoff D. Formal verification of floating-point hardware 2022
1 year, 4 months
Files: 1 Total size: 4.9 MB Total requests: 235 Last access time: 3 weeks, 3 days
|
|
Colombo C. Runtime Verification.A Hands-On Approach in Java 2022
1 year, 4 months
Files: 1 Total size: 2.8 MB Total requests: 88 Last access time: 2 weeks
|