Advanced Formal Verification by Rolf Drechsler (English) Paperback Book

Advanced Formal Verification by Rolf Drechsler (English) Hardcover Book

Formal Verification of Circuits by Rolf Drechsler: New

Formal Verification of Circuits by Rolf Drechsler (English) Hardcover Book

Formal System Verification: State-Of The-Art and Future Trends by Rolf Drechsler

Microelectronic Circuits 8th Edition by Adel S. Sedra (English) Paperback Book

EMC of Analog Integrated Circuits by Michiel Steyaert (English) Paperback Book

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