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
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Correct Hardware Design and Verification Methods

11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Correct Hardware Design and Verification Methods Tiziana Margaria
Libristo-Code: 01563746
Verlag Springer, Berlin, November 2000
This book constitutes the refereed proceedings of the 11th IFIP WG 10.5 Advanced Research Working Co... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

La MLS (Mls) Annie Evearts / Buch Broschur
common.buy 11.39 €
Zamalowane okna Anna Limanowicz / Buch Hardcover
common.buy 7.89 €
Johannes R. Bechers Publizistik in der Sowjetunion, 1935?1945 Simone Barck / Buch Hardcover
common.buy 123.99 €
Begegnung am Donnerstag / Buch Broschur
common.buy 29.96 €
Die wirklich wahre Wahrheit Nanen / Buch Buch
common.buy 18.00 €
La pédagogie Montessori / Buch Broschur
common.buy 4.79 €
GRANDMASTER OF DEMONIC 05 Mo Xiang Tong Xiu / Buch Buch
common.buy 16.59 €
Demnächst
Kerberos in the Silver Rain AIKAWA / Buch Broschur
common.buy 14.49 €
Mimo wszystko Polak / Hörbuch MP3
common.buy 6.59 €
Pražský chodec proti tankům Jiří Všetečka / Buch Buch
common.buy 7.59 €
Collection Des Principaux Cartulaires Du Diocese de Troyes. 2 (Ed.1875-1890) Charles Lalore / Buch Broschur
common.buy 28.19 €
Peripetie české ekonomiky a měny Stanislava Janáčková / Buch Broschur
common.buy 6.09 €
O umění s rozumem Miroslav Zelinský; Miloslav Klíma; Miroslav Plešák / Buch Buch
common.buy 8.29 €
Einseitige Gestaltungsmöglichkeiten der Arbeitgeberseite zur Einwirkung auf Gesamtvereinbarungen im Rahmen wirtschaftlicher Krisen. André Beathalter / Buch Broschur
common.buy 114.99 €
Regierungskommunikation in Deutschland Jana Heinze / Buch Broschur
common.buy 68.19 €
Todeszauber im Klassenzimmer Wilhelm Rossi / Buch Broschur
common.buy 20.19 €
Musik zur Weihnachtsgeschichte nach dem Lukasevangelium (Kap.2,1-20) Ragnhild Fehling / Buch Broschur
common.buy 9.90 €
Universität und wissenschaftliches Wissen Eva Eirmbter-Stolbrink / Buch Broschur
common.buy 40.00 €
Zwischen Hafen und Horizont Michael North / Buch Hardcover
common.buy 19.95 €
Gleby nienasycone i mieszanki asfaltowe de Medeiros Melo Neto Osires de Medeiros Melo Neto / Buch Broschur
common.buy 35.30 €
Einleitung, UEberlieferung Horst Brunner / Buch Hardcover
common.buy 196.19 €
Juan Ramón Jiménez, 1896-1958 José Carlos Mainer Baqué / Buch Broschur
common.buy 57.79 €
108 miradas : del lado de fuera y del lado de dentro / Buch Broschur
common.buy 27.70 €
Mondjunge Viktoria Weber / Buch Broschur
common.buy 16.40 €

This book constitutes the refereed proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2001, held in Livingston, Scotland, UK in September 2001.The 28 revised full papers and eight short papers presented together with two invited papers and one special paper were carefully reviewed and selected from 56 submissions. The book offers topical sections on model checking, clocking issues, theorem proving with higher order logics, hardware compilation, tools, component verification, case studies, algorithm verification, and duration calculus.

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 Tiziana Margaria, Tom Melham
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2001
Anzahl der Seiten 488
EAN 9783540425410
ISBN 3540425411
Libristo-Code 01563746
Verlag Springer, Berlin
Gewicht 699
Abmessungen 155 x 235 x 25

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Systemanalyse und -design
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
EDV und Informationstechnologie > Computerhardware
EDV und Informationstechnologie > Betriebssysteme
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

Palgrave Handbook of Leadership in Transforming Asia Nuttawuth Muenjohn / Buch Hardcover
common.buy 307.22 €
Demnächst
Acupuncture in Neurological Conditions Val Hopwood / Buch Broschur
common.buy 62.49 €
PIZZARELLI FAVORITE SOLOS GTR DVD John Pizzarelli / Video DVD
common.buy 34.19 €
Universities and Regional Advantage in the Knowledge Economy Fumi Kitagawa / Buch Broschur
common.buy 78.79 €
Top
What Lies Beyond the Veil Adelaide Forrest / Buch Broschur
common.buy 10.29 €
Top
Eric Stanton and the History of the Bizarre Underground PEREZ R. / Buch Hardcover
common.buy 23.69 €
A Journey To St. Petersburg And Moscow Through Courland And Livonia Leitch Ritchie / Buch Broschur
common.buy 25.49 €
The Pong-pendium: A Compilation of Little Stinkers Including their Pongs, Wrongs andSongs Robin Dry / Buch Broschur
common.buy 9.69 €
Chironomidae Larvae, Vol. 2: Chironomini: Biology and Ecology of the Chironomini H. K. M. Moller Pillot / Buch Hardcover
common.buy 105.43 €
Conquering My Nemesis Hekkie Van Der Westhuizen / Buch Broschur
common.buy 13.39 €
Search for Solvency Alfred E. Eckes / Buch Broschur
common.buy 40.69 €
Fallen Series Megan D. Harding / Buch Broschur
common.buy 15.19 €
International Code of Botanical Nomenclature: Adopted by the Seventh International Botanical Congress, Stockholm, July 1950 International Botanical Congress (7th / Buch Hardcover
common.buy 35.50 €
Heart of Darkness: (Starbooks Classics Editions) Joseph Conrad / Buch Broschur
common.buy 6.79 €
Top
Violent and Painful Anal Sex: Five tales of brutal and degrading sodomy Blair Karina / Buch Broschur
common.buy 10.29 €
Helena Paderewska Maciej Siekierski / Buch Broschur
common.buy 28.79 €
Dick Doodles Coloring Book HILLARY LEBEN / Buch Broschur
common.buy 12.59 €
Environmental Engineering Maryam Marani-Barzani / Buch Broschur
common.buy 40.99 €
Deliberative Democracy Ian O'Flynn / Buch Hardcover
common.buy 58.59 €
Gluten Free Cookbook Cameron Herrera / Buch Broschur
common.buy 15.59 €
Moleskine Plánovací zápisník 2025 černý S, tvrdý / Buch Hardcover
common.buy 22.39 €
Love Lessons Alda Merini / Buch Broschur
common.buy 30.49 €
Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012 Zhicai Zhong / Buch Hardcover
common.buy 556.29 €
Media Impact Biagi / Buch Broschur
common.buy 120.04 €

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?