Code: 05274512

Correct Hardware Design and Verification Methods

Name: Correct Hardware Design and Verification Methods
Brand: Springer, Berlin
SKU: 05274512
Price: 51.66 EUR
Availability: InStock
Author: Paolo Enrico Camurati
ISBN: 9783540603856

by Paolo Enrico Camurati, Hans Eveking

Language: English
Binding: Paperback
Number of pages: 346
Publisher: Springer, Berlin, 1995
More about this

51.66 €

RRP: 55.94 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Spacecraft Systems Engineering 4e
75.42 € -10 %
Buy
New Cutting Edge Intermediate Students Book and CD-Rom Pack
42.46 € -2 %
Buy
Crazy Quilting for Beginners Handy Pocket Guide
7.88 € -24 %
Buy
Carve the Mark 2-Book Paperback Box Set
38.01 €
Buy
Puppy Birthday to You! (Paw Patrol)
4.44 € -25 %
Buy
Practical LaTeX
40.44 € -9 %
Buy
Numicon: Investigations with Numicon Teaching Book
64.10 €
Buy
Insect Molecular Biology and Biochemistry
85.13 €
Buy
MORIARTY EL PATRIOTA 3
9.19 € -10 %
Buy
Foundations of C++/CLI
70.37 €
Buy
Oil Palm
37.10 €
Buy
VCs of the First World War: The Naval VCs
13.64 € -10 %
Buy
Optimization
183.01 €
Buy
That's the Way I See It
22.84 € -9 %
Buy
Primate Comparative Anatomy
92.31 €
Buy
Area 51
35.38 € -25 %
Buy
Mathematical and Computational Methods for Compressible Flow
182.81 €
Buy
Exam Prep for The Economic Way of Thinking by Heyne, Boettke, Prychitko, 11th Ed.
37.30 €
Buy
Three Wise Men from the East
28.91 € -23 %
Buy
Communication
66.83 €
Buy
Neuartige 4-Heteroaryl-Antipyrine als DPP-IV-Inhibitoren
32.04 € -11 %
Buy
What Is Symmetry in Nature?
23.25 € -9 %
Buy
widening gap
32.65 € -12 %
Buy
Einsterns Schwester - Sprache und Lesen - Zu allen Ausgaben - 3./4. Schuljahr
10 €
Buy
La cocina andaluza Guadalquivir arriba
18.29 €
Buy
Verbesserung der Diagnosefahigkeit bei Rechenschwache durch Erprobung des informellen Diagnoseverfahrens DUEMA am Beispiel einer Foerdergruppe
25.07 € -11 %
Buy
Wild Day at the Zoo / Egun Zoroa Zooan - Basque Edition
17.58 € -24 %
Buy
Die behördliche Genehmigung im strafrechtlichen Deliktsaufbau.
56.51 € -6 %
Buy
Managers of Innovation - Insights Into Making Innovation Happen
35.89 € -23 %
Buy
One Immigrant in a World of Many
17.48 €
Buy
Crooked House
23.75 € -17 %
Buy
Breaking the Real Axis of Evil
15.26 € -21 %
Buy
The Valley's Legends & Legacies IV
20.11 €
Buy
What Could Possibly Go Wrong?: The Chronicles of St. Mary's Book Six
12.73 € -25 %
Buy
Impact of War on Federal Personnel Administration
32.65 €
Buy
Political Theory and South Asian Counter-Narratives
199.69 €
Buy
Art in Belfast 1760-1880
69.76 €
Buy
Building the Trident Network
11.82 €
Buy
La prometida
15.76 € -4 %
Buy
American South and the Italian Mezzogiorno
55.81 €
Buy
Introduction à une histoire naturelle
30.63 €
Buy
Neurology: A Case-Based Approach
124.77 € -12 %
Buy
Proces Complet de M. de Pradt, Ancien Archeveque de Malines
20.21 € -1 %
Buy
Seismology (Paper only)
139.23 € -9 %
Buy
Life Under The Jolly Roger
14.85 € -24 %
Buy
Migration and the Slums Growth
35.68 € -14 %
Buy
All the Finer Things
12.33 € -7 %
Buy
Boxer and Brandon
24.76 € -1 %
Buy
Tranquility, Solitude, and Other Poems
28.71 €
Buy
Souvenirs de Voyages Aux Pyrenees, En Italie Et En Espagne
19.30 € -2 %
Buy
George Sand
172.70 €
Buy
'Nur für Anfänger' - Klassische Gitarre (inkl. CD)
15.86 € -10 %
Buy
ME ENAMORE DE LA VILLANA 3
15.36 €
Buy
English Verse
13.74 € -9 %
Buy
Anfangsgründe der theoretischen und angewandten Naturgeschichte der Tiere. Tl.4/2
44.48 € -11 %
Buy
Delphinus
9.29 € -24 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Correct Hardware Design and Verification Methods

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer science Computer architecture & logic design

51.66 €

Full title: Correct Hardware Design and Verification Methods
Subtitle: IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings
Author: Paolo Enrico Camurati, Hans Eveking
Language: English
Binding: Paperback
Number of pages: 346
EAN: 9783540603856
ISBN: 3540603859
ID: 05274512
Publisher: Springer, Berlin
Weight: 478 g
Dimensions: 233 × 155 × 18 mm
Published: 1995