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

13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings

Sprache EnglischEnglisch
Buch Broschur
Buch Correct Hardware Design and Verification Methods Dominique Borrione
Libristo-Code: 01561190
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2005
This book constitutes the refereed proceedings of the 13th 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

Offener Himmel - weiter Raum Hans-Christoph Goßmann / Buch Broschur
common.buy 27.80 €
Chants populaires de France Eric LEBARDE / Buch Broschur
common.buy 12.59 €
Les Napolitains Marcelle Padovani / Buch Broschur
common.buy 20.09 €
Pilote d'essais du cerf-volant à l'aéroplane Bellenger / Buch Broschur
common.buy 34.99 €
Das Menschenbild im weltweiten Wandel der Grundrechte. Bernd Schünemann / Buch Broschur
common.buy 93.59 €
bisschen mehr als Freundschaft Andreas Neubauer / Buch Broschur
common.buy 14.50 €
Deutsche Predigten und Traktate eister Eckhart / Buch Hardcover
common.buy 50.00 €
Projektmanagement Fur Kulturmanager Armin Klein / Buch Broschur
common.buy 49.99 €
Das Interieur in Karl Mays Amerika-Romanen Anna Lindner / Buch Broschur
common.buy 17.95 €
Studienzeiten als Ist-Prozess Christiene Jasmand / Buch Broschur
common.buy 51.99 €
Verlagsgeschichte bzw. -politik des S. Fischer Verlags und Rowohlt Verlags unter besonderer Berucksichtigung des Belletristikangebots Tobias Schmitt / Buch Broschur
common.buy 39.99 €
Malé životy Milan Čarňanský / Buch Broschur
common.buy 5.39 €
Gruselkabinett - 20.000 Meilen unter dem Meer, 2 Audio-CDs Jules Verne / Audio Audio CD
common.buy 21.99 €

This book constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbrücken, Germany, in October 2005.§The 21 revised full papers and 18 short papers presented together with 2 invited talks and one tutorial were carefully reviewed and selected from 79 submissions. The papers are organized in topical sections on functional approaches to design description, game solving approaches, abstraction, algorithms and techniques for speeding (DD-based) verification, real time and LTL model checking, evaluation of SAT-based tools, model reduction, and verification of memory hierarchy mechanisms.

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 Dominique Borrione, Wolfgang Paul
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2005
Anzahl der Seiten 414
EAN 9783540291053
ISBN 3540291059
Libristo-Code 01561190
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1330
Abmessungen 155 x 235 x 24

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Elektronik, Nachrichtentechnik > Elektronik > Regelungstechnik > Robotik
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 > Informatik > Künstliche Intelligenz
EDV und Informationstechnologie > Computerhardware
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

Precursor Chemistry of Advanced Materials Roland A. Fischer / Buch Hardcover
common.buy 355.79 €
So...This is Your Life- Mataya Arrow Gaye J. Gompers / Buch Broschur
common.buy 44.09 €
Life in the Far West George F. Ruxton / Buch Broschur
common.buy 19.69 €
Top
Pointing at the Moon Jay L. Garfield / Buch Broschur
common.buy 43.09 €
Adjusting to Globalization Greenaway / Buch Broschur
common.buy 33.09 €
Runaway Joyce Case / Buch Broschur
common.buy 14.29 €
Mexico Michael Hogan / Buch Broschur
common.buy 10.69 €
Tallahassee: A Capital City History Julianne Hare / Buch Broschur
common.buy 21.89 €
Punta Gorda Ann M. O'Phelan / Buch Broschur
common.buy 21.89 €
Reserve Retirement Reform Beth J. Asch / Buch Broschur
common.buy 23.49 €
Elite Tennis Players Handbook to Powerful Muscle Developing Nutrition: Prepare Like the Pros by Escalating Your RMR to Generate More Muscle, Eliminate Joseph Correa / Buch Broschur
common.buy 23.79 €
Mastering VMware vSphere 6.7 Nick Marshall / Buch Broschur
common.buy 47.39 €
Temporomandibular Disorders Henry A. Gremillion / Buch Broschur
common.buy 115.59 €
Tucker and the Big Bad Bully Lynn McCain / Buch Broschur
common.buy 10.69 €
Dreamer Delilah Gose / Buch Broschur
common.buy 16.39 €
Great Ormond Street Nurse Vanessa Martin / Buch Broschur
common.buy 17.59 €
Extempore Speech, How to Acquire and Practice It / Buch Hardcover
common.buy 65.19 €
Demnächst
Style is Eternal Nicole Jenkins / Buch Broschur
common.buy 33.89 €
Blow the Trumpet in Zion! Haynes Frederick D. III / Buch Broschur
common.buy 30.69 €
Fibrewise Topology I. M. James / Buch Broschur
common.buy 55.89 €
Cruel as the Grave Emma Dorothy Eliza Nevitte Southworth / Buch Broschur
common.buy 16.89 €
Jailed for Possession Catherine Carstairs / Buch Broschur
common.buy 38.99 €
Forming National Identity in Iran Ali Mozaffari / Buch Hardcover
common.buy 222.49 €
Central Nervous System Diseases and Inflammation Thomas E. Lane / Buch Hardcover
common.buy 160.89 €

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?