Destacado
Comparar tiendas web (1)
Páginas: 208, Tapa blanda, Springer
Majosta
Mastering Alloy Modeling: Practical Techniques for Formal Specification, Analysis, and Verification
Independently Published
CIRCUITON Digital System MODELING: Hardware Abstraction Techniques for Simulation Verification and Synthesis...
Emergent Hardware Verification
Blockchain Security Audit Guide with Reentrancy, Overflow, and Formal Verification Techniques: 70...
Volver arriba