Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €
phone Kontakt phoneWie einkaufen

Correct Hardware Design and Verification Methods

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

Sprache EnglischEnglisch
Buch Broschur
Buch Correct Hardware Design and Verification Methods Paolo Enrico Camurati
Libristo-Code: 05274512
Verlag Springer, Berlin, November 1994
This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conferen... Vollständige Beschreibung
? points 125 b
51.09 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Introduction à une histoire naturelle Claude Allègre / Buch Buch
common.buy 24.89 €
Wild Day at the Zoo / Egun Zoroa Zooan - Basque Edition Victor Dias de Oliveira Santos / Buch Hardcover
common.buy 14.99 €
Neuartige 4-Heteroaryl-Antipyrine als DPP-IV-Inhibitoren Mohamed Abdalla / Buch Broschur
common.buy 35.90 €
MORIARTY EL PATRIOTA 3 TAKEUCHI / Buch Buch
common.buy 9.09 €
ME ENAMORE DE LA VILLANA 3 INORI / Buch Buch
common.buy 13.99 €
Die behördliche Genehmigung im strafrechtlichen Deliktsaufbau. Steffen Fortun / Buch Broschur
common.buy 59.90 €
La prometida JHANSIR JACKSON PAEZ BLOOM / Buch Buch
common.buy 15.59 €
Boxer and Brandon KIDKIDDOS BOOKS / Buch Hardcover
common.buy 21.99 €
Proces Complet de M. de Pradt, Ancien Archeveque de Malines MORET-P / Buch Broschur
common.buy 17.89 €
La cocina andaluza Guadalquivir arriba Francisco Casas Delgado / Buch Broschur
common.buy 16.59 €
Souvenirs de Voyages Aux Pyrenees, En Italie Et En Espagne Vervel-M / Buch Broschur
common.buy 17.19 €
'Nur für Anfänger' - Klassische Gitarre (inkl. CD) Gerald Goodwin / Buch Broschur
common.buy 15.99 €
Einsterns Schwester - Sprache und Lesen - Zu allen Ausgaben - 3./4. Schuljahr Roland Bauer / Spiel/Spielzeug Spielzeug
common.buy 9.79 €
Die drei ??? und die Poker-Hölle, 1 Audio-CD Oliver Rohrbeck / Audio Audio CD
common.buy 11.89 €
Anfangsgründe der theoretischen und angewandten Naturgeschichte der Tiere. Tl.4/2 Georg A. Suckow / Buch Broschur
common.buy 49.90 €
Verbesserung der Diagnosefahigkeit bei Rechenschwache durch Erprobung des informellen Diagnoseverfahrens DUEMA am Beispiel einer Foerdergruppe Stefanie Hiller / Buch Broschur
common.buy 27.95 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Correct Hardware Design and Verification Methods
Autor Paolo Enrico Camurati, Hans Eveking
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1995
Anzahl der Seiten 346
EAN 9783540603856
ISBN 3540603859
Libristo-Code 05274512
Verlag Springer, Berlin
Gewicht 478
Abmessungen 155 x 233 x 18

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Datenbanken > Verteilte Datenbanken
EDV und Informationstechnologie > Informatik > Systemanalyse und -design
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Computernetzwerke und maschinelle Kommunikation
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Numicon: Investigations with Numicon Teaching Book Matthew Mills / Buch Ring
common.buy 66.39 €
Puppy Birthday to You! (Paw Patrol) Golden Books / Buch Hardcover
common.buy 3.89 €
Tranquility, Solitude, and Other Poems Karen Lee Oliver / Buch Hardcover
common.buy 25.49 €
Life Under The Jolly Roger Gabriel Kuhn / Buch Broschur
common.buy 12.69 €
What Could Possibly Go Wrong?: The Chronicles of St. Mary's Book Six Jodi Taylor / Buch Broschur
common.buy 14.29 €
Political Theory and South Asian Counter-Narratives Maidul Islam / Buch Hardcover
common.buy 179.19 €
George Sand Donna Dickenson / Buch Hardcover
common.buy 153.69 €
Communication Gregory Bateson / Buch Broschur
common.buy 59.99 €
Art in Belfast 1760-1880 Eileen Black / Buch Broschur
common.buy 72.09 €
Migration and the Slums Growth Sangay Tamang / Buch Broschur
common.buy 35.29 €
Delphinus Anita Marasco Maier / Buch Broschur
common.buy 7.89 €
Impact of War on Federal Personnel Administration Gladys M Kammerer / Buch Broschur
common.buy 35.19 €
Feminist Inquiry M.E. Hawkesworth / Buch Broschur
common.buy 30.09 €
Exam Prep for The Economic Way of Thinking by Heyne, Boettke, Prychitko, 11th Ed. Boettke Prychitko Heyne / Buch Broschur
common.buy 33.69 €
Foundations of C++/CLI Gordon Hogenson / Buch Broschur
common.buy 64.79 €
Advanced Computing and Systems for Security Rituparna Chaki / Buch Broschur
common.buy 51.09 €
What Is Symmetry in Nature? Bobbie Kalman / Buch Hardcover
common.buy 24.29 €
Crazy Quilting for Beginners Handy Pocket Guide Boggon / Buch Broschur
common.buy 6.69 €
The Valley's Legends & Legacies IV Catherine Morison Rehart / Buch Broschur
common.buy 20.89 €
Crooked House Agatha Christie / Buch Hardcover
common.buy 26.29 €
Oil Palm Jonathan E. Robins / Buch Broschur
common.buy 33.29 €
English Verse Edward Leeson / Audio Audio CD
common.buy 14.39 €
Three Wise Men from the East PATRICK WHITWORTH / Buch Hardcover
common.buy 24.89 €
All the Finer Things Stephanie Connelley Worlton / Buch Broschur
common.buy 13.59 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?