1- 3 of 3 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Symbolic Model Checking, Author: Kenneth L. McMillan
QUICK ADD
Symbolic Model Checking
by Kenneth L. McMillan
Paperback $54.99
Title: Leaf Cell and Hierarchical Compaction Techniques, Author: Cyrus Bamji
QUICK ADD
Leaf Cell and Hierarchical…
by Cyrus Bamji, Ravi Varadarajan
#407 in Series
Paperback $109.99
Title: Symbolic Analysis and Reduction of VLSI Circuits / Edition 1, Author: Zhanhai Qin
QUICK ADD
Symbolic Analysis and…
by Zhanhai Qin, Chung-Kuan Cheng
Paperback $109.99