Logic Synthesis and Verification (The Springer International Series in Engineering and Computer Science)

Verification

by: Soha Hassoun · Tsutomu Sasao

Hardcover

details (United States).

ISBN: 978-0-7923-7606-4

ISBN-10: 0-7923-7606-4

Springer · 2001