Advanced Formal Verification, , 9781402077210

Advanced Formal Verification by Drechsler

Advanced Formal Verification by Rolf Drechsler (English) Hardcover Book

Evolutionary Algorithms for Embedded System Design by Rolf Drechsler: New

Formal Verification of Circuits by Rolf Drechsler: New

Advanced Formal Verification by Rolf Drechsler (English) Paperback Book

Towards One-Pass Synthesis by Rolf Drechsler: New

Formal System Verification: State-of the-Art and Future Trends by Rolf Drechsler