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 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
19 777 Ft
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 18 087 Ft
ME ENAMORE DE LA VILLANA 3 INORI / Book Book
common.buy 3 569 Ft
Wild Day at the Zoo / Egun Zoroa Zooan - Basque Edition Victor Dias de Oliveira Santos / Book Hardback
common.buy 7 252 Ft
Neuartige 4-Heteroaryl-Antipyrine als DPP-IV-Inhibitoren Mohamed Abdalla / Book Paperback
common.buy 12 378 Ft
MORIARTY EL PATRIOTA 3 TAKEUCHI / Book Book
common.buy 3 247 Ft
La prometida JHANSIR JACKSON PAEZ BLOOM / Book Book
common.buy 5 535 Ft
Boxer and Brandon KIDKIDDOS BOOKS / Book Hardback
common.buy 9 875 Ft
La cocina andaluza Guadalquivir arriba Francisco Casas Delgado / Book Paperback
common.buy 6 439 Ft
Souvenirs de Voyages Aux Pyrenees, En Italie Et En Espagne Vervel-M / Book Paperback
common.buy 7 707 Ft
'Nur für Anfänger' - Klassische Gitarre (inkl. CD) Gerald Goodwin / Book Paperback
common.buy 5 622 Ft
Einsterns Schwester - Sprache und Lesen - Zu allen Ausgaben - 3./4. Schuljahr Roland Bauer / Game/Toy Toy
common.buy 3 803 Ft
Die drei ??? und die Poker-Hölle, 1 Audio-CD Oliver Rohrbeck / Audio Audio CD
common.buy 4 575 Ft
Anfangsgründe der theoretischen und angewandten Naturgeschichte der Tiere. Tl.4/2 Georg A. Suckow / Book Paperback
common.buy 17 159 Ft
Verbesserung der Diagnosefahigkeit bei Rechenschwache durch Erprobung des informellen Diagnoseverfahrens DUEMA am Beispiel einer Foerdergruppe Stefanie Hiller / Book Paperback
common.buy 9 673 Ft

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 22 634 Ft
Puppy Birthday to You! (Paw Patrol) Golden Books / Book Hardback
common.buy 1 851 Ft
Tranquility, Solitude, and Other Poems Karen Lee Oliver / Book Hardback
common.buy 10 619 Ft
Life Under The Jolly Roger Gabriel Kuhn / Book Paperback
common.buy 6 132 Ft
What Could Possibly Go Wrong?: The Chronicles of St. Mary's Book Six Jodi Taylor / Book Paperback
common.buy 5 273 Ft
Political Theory and South Asian Counter-Narratives Maidul Islam / Book Hardback
common.buy 78 897 Ft
George Sand Donna Dickenson / Book Hardback
common.buy 63 924 Ft
Communication Gregory Bateson / Book Paperback
common.buy 26 418 Ft
Art in Belfast 1760-1880 Eileen Black / Book Paperback
common.buy 26 363 Ft
Migration and the Slums Growth Sangay Tamang / Book Paperback
common.buy 13 747 Ft
Delphinus Anita Marasco Maier / Book Paperback
common.buy 3 830 Ft
Impact of War on Federal Personnel Administration Gladys M Kammerer / Book Paperback
common.buy 12 846 Ft
Feminist Inquiry M.E. Hawkesworth / Book Paperback
common.buy 13 705 Ft
Exam Prep for The Economic Way of Thinking by Heyne, Boettke, Prychitko, 11th Ed. Boettke Prychitko Heyne / Book Paperback
common.buy 14 592 Ft
Foundations of C++/CLI Gordon Hogenson / Book Paperback
common.buy 25 169 Ft
Advanced Computing and Systems for Security Rituparna Chaki / Book Paperback
common.buy 19 777 Ft
What Is Symmetry in Nature? Bobbie Kalman / Book Hardback
common.buy 8 929 Ft
Top
Crazy Quilting for Beginners Handy Pocket Guide Boggon / Book Paperback
common.buy 2 884 Ft
The Valley's Legends & Legacies IV Catherine Morison Rehart / Book Paperback
common.buy 7 661 Ft
Oil Palm Jonathan E. Robins / Book Paperback
common.buy 14 275 Ft
Crooked House Agatha Christie / Book Hardback
common.buy 9 686 Ft
One Immigrant in a World of Many ANDREA BERM DEZ / Book Paperback
common.buy 6 949 Ft
English Verse Edward Leeson / Audio Audio CD
common.buy 5 286 Ft
Three Wise Men from the East PATRICK WHITWORTH / Book Hardback
common.buy 10 881 Ft

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?