Theorem Provers in Circuit Design: Theory, Practice and Experience by Kumar, Ramayya;Kumar, Ramayya;Kropf, Thomas [The New and Used Bookstore Seoul (Itaewon), South Korea]

Theorem Provers in Circuit Design: Theory, Practice and Experience
Kumar, Ramayya, Kumar, Ramayya (Editor), Kropf, Thomas (Editor)

List Price: $89.99 or 107,990₩
Additional fee: $27.00 [explain this]
Our Price: $116.99 or 140,390₩

Total delivery time: within 10 business days

Format: Paperback, 324pp.

Date of publication: Apr 13 1995

Publisher: Springer

ISBN-13: 9783540590477

Dimensions: 23.39 cm. (length) X 15.60 cm. (width) X 1.73 cm. (thickness)

Weight: 454 grams

Customer comments

Reviews from Goodreads.com

Browse related subjects:

Would you like to...

Other Books in the Series

Lecture Notes in Computer Science

Principles of Computational...

by Wesseling, Pieter

Approximation Algorithms for...

by Jansen, K.

by Rolim, J. D. P.

Advances in Databases and...

by Manolopoulos, Y.

by Schiller, Friedrich

by Yin, Hujun

Semiconductor Quantum Dots:...

by Masumoto, Yasuaki

by Wang, S. X.

by Fleischmann, Moritz

by Lee, Jaiyong

Found it cheaper?

Children