Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Theorem Provers in Circuit Design: Theory, Practice and Experience

Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994. Proceedings

Language EnglishEnglish
Book Paperback
Book Theorem Provers in Circuit Design: Theory, Practice and Experience Thomas Kropf
Libristo code: 05274454
Publishers Springer, Berlin, November 1994
Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994. Proceedi...
? points 132 b
54.04 €
105.69  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

IoT e Industria 4.0 Roderval Marcelino / Book Paperback
common.buy 33.81 € 66.13 лв
De toutes les nuits, les amants Kawakami / Book Paperback
common.buy 27.12 € 53.04 лв
Sei ein ganzer Kerl Robbie Cathro / Book Hardback
common.buy 23.52 € 46.01 лв
Zednáři Jiří Stibral / Book Hardback
common.buy 8.57 € 16.77 лв
COMO IMPLANTAR EFICAZMENTE EL CAMBIO EN LA ORGANIZACION GELINAS / Book binding.
common.buy 109.31 € 213.80 лв
C'ETAIT LA GUERRE-3 RECITS INSPIRES FAIT TÉNOR / Book Paperback
common.buy 15.82 € 30.94 лв
MISTER ALABAMA Phillip Quinn MORRIS / Book Paperback
common.buy 27.53 € 53.84 лв
Jours d'hiver Maclaverty / Book Paperback
common.buy 32.87 € 64.29 лв
Affordable
Tintin 18: Coke en stock - petit format, ed. 2009 (En Chinois) Hergé / Book Paperback
common.buy 8.73 € 17.07 лв
Stoa Felsefesinin Kurulus Fragmanlari Zenon / Book Paperback
common.buy 13.77 € 26.93 лв
Применение теории фракталов в металловедении. Монография Е.А. Кривоносова / Book Paperback
common.buy 17.51 € 34.25 лв
Afghanistan Schiffer / Book Paperback
common.buy 20.18 € 39.48 лв
90 her pro rozvoj samostatnosti a školních kompetencí pro děti od 4 do 6 let Andrea Erkert / Book Paperback
common.buy 10.27 € 20.08 лв
Calimots CE1 - Cahier d'exercices d'étude de la langue et fluence Adeline Pesic / Book Paperback
common.buy 9.29 € 18.18 лв
Das Praxisbuch Samsung Galaxy A54 5G - Anleitung für Einsteiger Rainer Gievers / Book Paperback
common.buy 20.34 € 39.78 лв
HE-MAN Y LOS MASTERS DEL UNIVERSO: COLECCION DE MINICOMICS V GLUT / Book Hardback
common.buy 40.22 € 78.66 лв
Casos prácticos de management estratégico Miguel Ángel Martínez Martínez / Book Paperback
common.buy 28.61 € 55.95 лв
Gartenvögel Helga Hofmann / Book Paperback
common.buy 7.75 € 15.16 лв
Chakra-Energie-Massage Marianne Uhl / Book Hardback
common.buy 18.39 € 35.96 лв
Unvollstandigkeit Und Unentscheidbarkeit Wolfgang Stegmüller / Book Paperback
common.buy 60.56 € 118.45 лв
Erwartungen und ökonomische Theoriebildung: Josef Windsperger / Book Paperback
common.buy 88.35 € 172.81 лв
Estrategias politicas ante la crisis Perez Garcia Encarnacion / Book Paperback
common.buy 298.41 € 583.64 лв
Biobankgesetz Ulrich Gassner / Book Paperback
common.buy 16.84 € 32.95 лв
Hegels Logik und die Chemie Ulrich Ruschig / Book Paperback
common.buy 116.35 € 227.56 лв

Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26 - 28, 1994. Proceedings

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Theorem Provers in Circuit Design: Theory, Practice and Experience
Author Thomas Kropf, Ramayya Kumar
Language English
Binding Book - Paperback
Date of issue 1995
Number of pages 312
EAN 9783540590477
ISBN 3540590471
Libristo code 05274454
Publishers Springer, Berlin
Weight 424
Dimensions 155 x 233 x 17

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Coming soon
Handbook of Labor, Human Resources and Population Economics, 12 Teile Klaus F. Zimmermann / Book Hardback
common.buy 8 201.43 € 16 040.60 лв
Machine Methods M. Adithan / Book Hardback
common.buy 38.57 € 75.45 лв
Administrative Movement and Control of the New Armored Division Ralph Talbot / Book Paperback
common.buy 16.79 € 32.85 лв
Southern Europe? Martin Baumeister / Book Paperback
common.buy 57.22 € 111.92 лв
Fundamentals of Work Measurement MITAL / Book Paperback
common.buy 79.93 € 156.33 лв
Door in the Dragon's Throat Frank E. Peretti / Book Paperback
common.buy 6.31 € 12.35 лв
Niccolo's Smile: A Biography of Machiavelli Maurizio Viroli / Book Paperback
common.buy 17.56 € 34.35 лв
Hippos Go Berserk! Sandra Boynton / Book Paperback
common.buy 7.08 € 13.86 лв
Great Beast of Kafue (Cryptofiction Classics - Weird Tales of Strange Creatures) Richard Dehan / E-book Adobe ePub DRM
common.buy 7.29 € 14.26 лв
A Doctor at Calvary - The Passion of Our Lord Jesus Christ as Described by a Surgeon Pierre Barbet / Book Paperback
common.buy 11.96 € 23.40 лв
Waverley Novels, Volume 5 Sir Walter Scott / Book Hardback
common.buy 39.96 € 78.16 лв
100 Animals Adult Coloring Book MISA / Book Paperback
common.buy 10.53 € 20.59 лв
Meaning and Purpose of Time Howard Modin / Book Hardback
common.buy 27.89 € 54.55 лв
Oxford Handbook of Functional Brain Imaging in Neuropsychology and Cognitive Neurosciences Andrew C. Papanicolaou / Book Hardback
common.buy 245.29 € 479.75 лв
Last Hour, The First Hour, The Forty-second Generation DONALD PEART / Book Paperback
common.buy 12.99 € 25.41 лв
Optimization Review Velsicol Chemical Corporation Hardeman County Landfill Superfund Site U S Environmental Protection Agency / Book Paperback
common.buy 18.80 € 36.76 лв
Old Friends and New Fancies: an imaginary sequel to the novels of Jane Austen Sybil G Brinton / Book Paperback
common.buy 10.53 € 20.59 лв
Imaginary Abacus - Workbook: A Mind Math Step-By-Step Guide to Addition and Subtraction Using an Imaginary Japanese Abacus (Soroban). MR Paul Green / Book Paperback
common.buy 16.28 € 31.84 лв
Low Carb Salads: 35 Low Carb Salad Recipes Katya Johansson / Book Paperback
common.buy 6.88 € 13.45 лв
The Book of Milton Andrew Frinkle / Book Paperback
common.buy 10.73 € 20.99 лв
Trial of Thomas Muir, Younger, of Huntershill, Before the High Court of Justiciary, at Edinburgh, on the 30th and 31st Day of August, 1793, for Sediti THOMAS MUIR / Book Hardback
common.buy 31.64 € 61.88 лв
Top
Doorway to Dilemma Mike Ashley / Book Paperback
common.buy 12.53 € 24.51 лв
Time-Space, Spiking Neural Networks and Brain-Inspired Artificial Intelligence Nikola K Kasabov / Book Paperback
common.buy 355.13 € 694.57 лв
The Kinship of Secrets Eugenia Kim / Book Hardback
common.buy 42.03 € 82.21 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?