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
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Correct Hardware Design and Verification Methods

IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings

Language EnglishEnglish
Book Paperback
Book Correct Hardware Design and Verification Methods Paolo Enrico Camurati
Libristo code: 05274512
Publishers Springer, Berlin, November 1994
This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conferen... Full description
? points 125 b
51.78 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Die behördliche Genehmigung im strafrechtlichen Deliktsaufbau. Steffen Fortun / Book Paperback
common.buy 47.22 €
ME ENAMORE DE LA VILLANA 3 INORI / Book Book
common.buy 10.12 €
Wild Day at the Zoo / Egun Zoroa Zooan - Basque Edition Victor Dias de Oliveira Santos / Book Hardback
common.buy 18.74 €
Neuartige 4-Heteroaryl-Antipyrine als DPP-IV-Inhibitoren Mohamed Abdalla / Book Paperback
common.buy 32.12 €
MORIARTY EL PATRIOTA 3 TAKEUCHI / Book Book
common.buy 9.21 €
La prometida JHANSIR JACKSON PAEZ BLOOM / Book Book
common.buy 15.70 €
Boxer and Brandon KIDKIDDOS BOOKS / Book Hardback
common.buy 26.04 €
La cocina andaluza Guadalquivir arriba Francisco Casas Delgado / Book Paperback
common.buy 18.33 €
Souvenirs de Voyages Aux Pyrenees, En Italie Et En Espagne Vervel-M / Book Paperback
common.buy 20.36 €
'Nur für Anfänger' - Klassische Gitarre (inkl. CD) Gerald Goodwin / Book Paperback
common.buy 16.00 €
Einsterns Schwester - Sprache und Lesen - Zu allen Ausgaben - 3./4. Schuljahr Roland Bauer / Game/Toy Toy
common.buy 10.02 €
Die drei ??? und die Poker-Hölle, 1 Audio-CD Oliver Rohrbeck / Audio Audio CD
common.buy 12.05 €
Anfangsgründe der theoretischen und angewandten Naturgeschichte der Tiere. Tl.4/2 Georg A. Suckow / Book Paperback
common.buy 44.58 €
Verbesserung der Diagnosefahigkeit bei Rechenschwache durch Erprobung des informellen Diagnoseverfahrens DUEMA am Beispiel einer Foerdergruppe Stefanie Hiller / Book Paperback
common.buy 25.12 €

This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARME '95, held in Frankfurt, Germany, in October 1995.The 20 revised full papers presented were carefullyselected by the program committee and address all current aspects of research and advanced applications in the field of formal verification of hardware. Among the topics covered are model checking, theorem proving, formally verified synthesis, process algebras, finite state systems, verification environments, language containment, and VHDL.

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 Correct Hardware Design and Verification Methods
Author Paolo Enrico Camurati, Hans Eveking
Language English
Binding Book - Paperback
Date of issue 1995
Number of pages 346
EAN 9783540603856
ISBN 3540603859
Libristo code 05274512
Publishers Springer, Berlin
Weight 478
Dimensions 155 x 233 x 18

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Databases > Distributed databases
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer networking & communications
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

Numicon: Investigations with Numicon Teaching Book Matthew Mills / Book Spiral bound
common.buy 64.24 €
Puppy Birthday to You! (Paw Patrol) Golden Books / Book Hardback
common.buy 4.75 €
Tranquility, Solitude, and Other Poems Karen Lee Oliver / Book Hardback
common.buy 30.19 €
Life Under The Jolly Roger Gabriel Kuhn / Book Paperback
common.buy 15.80 €
What Could Possibly Go Wrong?: The Chronicles of St. Mary's Book Six Jodi Taylor / Book Paperback
common.buy 13.57 €
Political Theory and South Asian Counter-Narratives Maidul Islam / Book Hardback
common.buy 209.47 €
George Sand Donna Dickenson / Book Hardback
common.buy 181.70 €
Communication Gregory Bateson / Book Paperback
common.buy 70.12 €
Art in Belfast 1760-1880 Eileen Black / Book Paperback
common.buy 69.92 €
Migration and the Slums Growth Sangay Tamang / Book Paperback
common.buy 35.76 €
Delphinus Anita Marasco Maier / Book Paperback
common.buy 9.92 €
Impact of War on Federal Personnel Administration Gladys M Kammerer / Book Paperback
common.buy 34.14 €
Feminist Inquiry M.E. Hawkesworth / Book Paperback
common.buy 38.91 €
Exam Prep for The Economic Way of Thinking by Heyne, Boettke, Prychitko, 11th Ed. Boettke Prychitko Heyne / Book Paperback
common.buy 38.91 €
Foundations of C++/CLI Gordon Hogenson / Book Paperback
common.buy 65.66 €
Advanced Computing and Systems for Security Rituparna Chaki / Book Paperback
common.buy 58.57 €
What Is Symmetry in Nature? Bobbie Kalman / Book Hardback
common.buy 23.30 €
Top
Crazy Quilting for Beginners Handy Pocket Guide Boggon / Book Paperback
common.buy 7.69 €
The Valley's Legends & Legacies IV Catherine Morison Rehart / Book Paperback
common.buy 17.62 €
Oil Palm Jonathan E. Robins / Book Paperback
common.buy 37.89 €
Crooked House Agatha Christie / Book Hardback
common.buy 25.22 €
One Immigrant in a World of Many ANDREA BERM DEZ / Book Paperback
common.buy 18.33 €
English Verse Edward Leeson / Audio Audio CD
common.buy 13.77 €
Three Wise Men from the East PATRICK WHITWORTH / Book Hardback
common.buy 30.90 €

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?