Books by Nannan He
No products found matching the selection.
-20%
Scalable Bit-precise Formal Verification of Embedded Software
€52.86
€66.07
-20% with code BOOKS
In stock at our supplier