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

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

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Demnächst
Kerberos in the Silver Rain AIKAWA / Buch Broschur
common.buy 15.79 €
GRANDMASTER OF DEMONIC 05 Mo Xiang Tong Xiu / Buch Buch
common.buy 15.69 €
La pédagogie Montessori / Buch Broschur
common.buy 6.39 €
Johannes R. Bechers Publizistik in der Sowjetunion, 1935?1945 Simone Barck / Buch Hardcover
common.buy 123.99 €
Zamalowane okna Anna Limanowicz / Buch Hardcover
common.buy 10.29 €
La MLS (Mls) Annie Evearts / Buch Broschur
common.buy 12.09 €
Begegnung am Donnerstag / Buch Broschur
common.buy 29.95 €
Mimo wszystko Polak / Hörbuch MP3
common.buy 8.29 €
Pražský chodec proti tankům Jiří Všetečka / Buch Buch
common.buy 7.39 €
Collection Des Principaux Cartulaires Du Diocese de Troyes. 2 (Ed.1875-1890) Charles Lalore / Buch Broschur
common.buy 30.19 €
Peripetie české ekonomiky a měny Stanislava Janáčková / Buch Broschur
common.buy 6.29 €
O umění s rozumem Miroslav Zelinský; Miloslav Klíma; Miroslav Plešák / Buch Buch
common.buy 8.59 €
Einseitige Gestaltungsmöglichkeiten der Arbeitgeberseite zur Einwirkung auf Gesamtvereinbarungen im Rahmen wirtschaftlicher Krisen. André Beathalter / Buch Broschur
common.buy 109.99 €
Regierungskommunikation in Deutschland Jana Heinze / Buch Broschur
common.buy 70.89 €
Todeszauber im Klassenzimmer Wilhelm Rossi / Buch Broschur
common.buy 21.49 €
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 42.19 €
Harcèlement sexuel au bureau - moi, je témoigne MARRA / Buch Broschur
common.buy 30.69 €
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 63.29 €
108 miradas : del lado de fuera y del lado de dentro / Buch Broschur
common.buy 29.19 €
Mondjunge Viktoria Weber / Buch Broschur
common.buy 16.40 €
Les Contours De L'Amour Jean Daniel Francois M D / Buch Broschur
common.buy 14.49 €
Günstig
Zamilované písničky ze 60 let interpreti Různí / Audio Audio CD
common.buy 2.89 €

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

Search for Solvency Alfred E. Eckes / Buch Broschur
common.buy 42.39 €
A Journey To St. Petersburg And Moscow Through Courland And Livonia Leitch Ritchie / Buch Broschur
common.buy 29.59 €
The Pong-pendium: A Compilation of Little Stinkers Including their Pongs, Wrongs andSongs Robin Dry / Buch Broschur
common.buy 10.69 €
Conquering My Nemesis Hekkie Van Der Westhuizen / Buch Broschur
common.buy 14.29 €
Chironomidae Larvae, Vol. 2: Chironomini: Biology and Ecology of the Chironomini H. K. M. Moller Pillot / Buch Hardcover
common.buy 115.09 €
International Code of Botanical Nomenclature: Adopted by the Seventh International Botanical Congress, Stockholm, July 1950 International Botanical Congress (7th / Buch Hardcover
common.buy 33.69 €
Palgrave Handbook of Leadership in Transforming Asia Nuttawuth Muenjohn / Buch Hardcover
common.buy 322.19 €
Fallen Series Megan D. Harding / Buch Broschur
common.buy 15.89 €
Universities and Regional Advantage in the Knowledge Economy Fumi Kitagawa / Buch Broschur
common.buy 83.09 €
Heart of Darkness: (Starbooks Classics Editions) Joseph Conrad / Buch Broschur
common.buy 7.49 €
Top
Violent and Painful Anal Sex: Five tales of brutal and degrading sodomy Blair Karina / Buch Broschur
common.buy 10.59 €
Thomas Hardy Annie Macdonell / Buch Broschur
common.buy 24.09 €
Helena Paderewska Maciej Siekierski / Buch Broschur
common.buy 29.79 €
Top
Eric Stanton and the History of the Bizarre Underground PEREZ R. / Buch Hardcover
common.buy 24.69 €
Russian Nuclear Orthodoxy Dmitry Adamsky / Buch Hardcover
common.buy 157.99 €
I See Zoo Animals LAUREN DICK / Buch Broschur
common.buy 11.19 €
Top
Penguin Readers Level 6: One Of Us Is Lying (ELT Graded Reader) MCMANUS KAREN M. / Buch Broschur
common.buy 8.39 €
Mammals of South America Rexford D Lord / Buch Hardcover
common.buy 68.89 €
Moleskine Plánovací zápisník 2025 černý S, tvrdý / Buch Hardcover
common.buy 20.59 €
Love Lessons Alda Merini / Buch Broschur
common.buy 25.39 €
Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012 Zhicai Zhong / Buch Hardcover
common.buy 584.09 €
Media Impact Biagi / Buch Broschur
common.buy 125.39 €
Regulation Theory and Sustainable Development Corinne Gendron / Buch Hardcover
common.buy 242.59 €
Evaluation in Decision Making Naftaly S. Glasman / Buch Hardcover
common.buy 107.29 €

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?