Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Correct Hardware Design and Verification Methods

Name: Correct Hardware Design and Verification Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01561190
Price: 45.49 EUR
Availability: InStock
Author: Dominique Borrione
ISBN: 9783540291053

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

Dominique Borrione

Wolfgang Paul

Sprache

Englisch

Buch Broschur

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

Libristo-Code: 01561190

111 b

45.49 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Pilote d'essais du cerf-volant à l'aéroplane Bellenger

Broschur

27.49 €

Studienzeiten als Ist-Prozess Christiene Jasmand

Broschur

49.00 €

Bridgerton - Eloise & Phillip Petra Lingsminat

Hardcover

22.00 €

Malé životy Milan Čarňanský

Broschur

4.49 €

Chants populaires de France Eric LEBARDE

Broschur

9.79 €

Gruselkabinett - 20.000 Meilen unter dem Meer, 2 Audio-CDs Jules Verne

Audio CD

21.99 €

Les Napolitains Marcelle Padovani

Broschur

15.69 €

Das Menschenbild im weltweiten Wandel der Grundrechte. Bernd Schünemann

Broschur

99.90 €

Deutsche Predigten und Traktate eister Eckhart

Hardcover

50.00 €

Projektmanagement Fur Kulturmanager Armin Klein

Broschur

49.99 €

Das Interieur in Karl Mays Amerika-Romanen Anna Lindner

Broschur

17.95 €

Verlagsgeschichte bzw. -politik des S. Fischer Verlags und Rowohlt Verlags unter besonderer Berucksichtigung des Belletristikangebots Tobias Schmitt

Broschur

39.99 €

Derecho romano Miquel

Broschur

37.29 €

bisschen mehr als Freundschaft Andreas Neubauer

Broschur

14.50 €

Offener Himmel - weiter Raum Hans-Christoph Goßmann

Broschur

27.80 €

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

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

Hardcover

291.09 €

Temporomandibular Disorders Henry A. Gremillion

Broschur

97.39 €

Reserve Retirement Reform Beth J. Asch

Broschur

20.39 €

Elementary Korean Workbook Insun Lee

Broschur

12.69 €

Adjusting to Globalization Greenaway

Broschur

23.69 €

Sight Word Poetry Pages Rozanne Lanczak Williams

Broschur

10.29 €

Mexico Michael Hogan

Broschur

8.59 €

Tallahassee: A Capital City History Julianne Hare

Broschur

16.89 €

Punta Gorda Ann M. O'Phelan

Broschur

16.89 €

So...This is Your Life- Mataya Arrow Gaye J. Gompers

Broschur

32.89 €

Elite Tennis Players Handbook to Powerful Muscle Developing Nutrition: Prepare Like the Pros by Escalating Your RMR to Generate More Muscle, Eliminate Joseph Correa

Broschur

19.19 €