Search Results - Hachtel, Gary D. - Books

Logic synthesis and verification algorithms

eBook 15 Mar 2006
Publisher Springer
ISBN: 9780387310053
Dewey: 621.395
Licence From
£64.99
Special order line: only available to educational & business accounts. Sign In

Logic Synthesis and Verification Algorithms

Hardback 30 Jun 1996
Publisher Springer
ISBN: 9780792397465
Dewey: 620
£79.99
Special order line: only available to educational & business accounts. Sign In

Logic Synthesis and Verification Algorithms

Paperback 26 Mar 2013
Publisher Springer
ISBN: 9781475770353
£24.99
Special order line: only available to educational & business accounts. Sign In
£24.99
Special order line: only available to educational & business accounts. Sign In
Licence From
£159.50
Special order line: only available to educational & business accounts. Sign In
£159.99
Special order line: only available to educational & business accounts. Sign In
£159.99
Special order line: only available to educational & business accounts. Sign In
£24.99
Special order line: only available to educational & business accounts. Sign In

Logic synthesis and verification algorithms

eBook 30 Jun 1996
Publisher Springer
ISBN: 9780306475924
Dewey: 621.395
Licence From
£74.50
Special order line: only available to educational & business accounts. Sign In

Logic Synthesis and Verification Algorithms

Paperback / softback 10 Feb 2006
ISBN: 9780387310046
Dewey: 621.395
Out of Print

Logic Synthesis and Verification Algorithms

Paperback / softback 18 Mar 2013
ISBN: 9781475770360
Dewey: 004.0151
£62.99
RRP £69.99
Special order line: only available to educational & business accounts. Sign In
£89.99
Special order line: only available to educational & business accounts. Sign In

Abstraction Refinement for Large Scale Model Checking

Paperback / softback 6 Dec 2014
ISBN: 9781489993953
Dewey: 621.3815
£89.99
Special order line: only available to educational & business accounts. Sign In
Page 1 of 1