Formal Specification Level Más libros de Mathias Soeken & Rolf Drechsler

Natural Language Processing for Electronic Design Automation Natural Language Processing for Electronic Design Automation
Natural Language Processing for Electronic Design Automation
2020
Advanced Boolean Techniques Advanced Boolean Techniques
Advanced Boolean Techniques
2019
Reversible Computation Reversible Computation
Reversible Computation
2019