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
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
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 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

'Nur für Anfänger' - Klassische Gitarre (inkl. CD) Gerald Goodwin / Buch Broschur
common.buy 16.69 €
ME ENAMORE DE LA VILLANA 3 INORI / Buch Buch
common.buy 9.99 €
Die behördliche Genehmigung im strafrechtlichen Deliktsaufbau. Steffen Fortun / Buch Broschur
common.buy 49.90 €
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 €
Anfangsgründe der theoretischen und angewandten Naturgeschichte der Tiere. Tl.4/2 Georg A. Suckow / Buch Broschur
common.buy 49.90 €
Wild Day at the Zoo / Egun Zoroa Zooan - Basque Edition Victor Dias de Oliveira Santos / Buch Hardcover
common.buy 19.69 €
Souvenirs de Voyages Aux Pyrenees, En Italie Et En Espagne Vervel-M / Buch Broschur
common.buy 20.99 €
La prometida JHANSIR JACKSON PAEZ BLOOM / Buch Buch
common.buy 15.49 €
Boxer and Brandon KIDKIDDOS BOOKS / Buch Hardcover
common.buy 26.99 €
Einsterns Schwester - Sprache und Lesen - Zu allen Ausgaben - 3./4. Schuljahr Roland Bauer / Spiel/Spielzeug Spielzeug
common.buy 10.39 €
Die drei ??? und die Poker-Hölle, 1 Audio-CD Oliver Rohrbeck / Audio Audio CD
common.buy 12.49 €
La cocina andaluza Guadalquivir arriba Francisco Casas Delgado / Buch Broschur
common.buy 18.79 €

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.29 €
Puppy Birthday to You! (Paw Patrol) Golden Books / Buch Hardcover
common.buy 4.99 €
Tranquility, Solitude, and Other Poems Karen Lee Oliver / Buch Hardcover
common.buy 31.19 €
Life Under The Jolly Roger Gabriel Kuhn / Buch Broschur
common.buy 16.59 €
All the Finer Things Stephanie Connelley Worlton / Buch Broschur
common.buy 13.59 €
Delphinus Anita Marasco Maier / Buch Broschur
common.buy 10.39 €
Feminist Inquiry M.E. Hawkesworth / Buch Broschur
common.buy 40.29 €
Exam Prep for The Economic Way of Thinking by Heyne, Boettke, Prychitko, 11th Ed. Boettke Prychitko Heyne / Buch Broschur
common.buy 39.99 €
Foundations of C++/CLI Gordon Hogenson / Buch Broschur
common.buy 68.39 €
What Is Symmetry in Nature? Bobbie Kalman / Buch Hardcover
common.buy 24.29 €
What Could Possibly Go Wrong?: The Chronicles of St. Mary's Book Six Jodi Taylor / Buch Broschur
common.buy 14.29 €
The Valley's Legends & Legacies IV Catherine Morison Rehart / Buch Broschur
common.buy 18.39 €
Crooked House Agatha Christie / Buch Hardcover
common.buy 26.29 €
English Verse Edward Leeson / Audio Audio CD
common.buy 14.39 €
Three Wise Men from the East PATRICK WHITWORTH / Buch Hardcover
common.buy 32.39 €
VCs of the First World War: The Naval VCs Stephen Snelling / Buch Broschur
common.buy 11.39 €
Area 51 Nick Redfern / Buch Broschur
common.buy 39.69 €
Carve the Mark 2-Book Paperback Box Set Veronica Roth / Buch Broschur
common.buy 39.09 €
One Immigrant in a World of Many ANDREA BERM DEZ / Buch Broschur
common.buy 18.99 €
Oil Palm Jonathan E. Robins / Buch Broschur
common.buy 39.09 €
Political Theory and South Asian Counter-Narratives Maidul Islam / Buch Hardcover
common.buy 215.89 €
Top
Crazy Quilting for Beginners Handy Pocket Guide Boggon / Buch Broschur
common.buy 8.09 €
Natural History of Wine Ian Tattersall / E-Book Adobe ePub DRM
common.buy 12.59 €
Neurology: A Case-Based Approach / Buch Hardcover
common.buy 137.39 €

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?