Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Correct Hardware Design and Verification Methods

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Correct Hardware Design and Verification Methods Dominique Borrione
Libristo-code: 01561190
Uitgeverij 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... Volledige beschrijving
? points 125 b
51.75 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Offener Himmel - weiter Raum Hans-Christoph Goßmann / Boek Gebonden (paperback)
common.buy 24.91 €
Chants populaires de France Eric LEBARDE / Boek Gebonden (paperback)
common.buy 12.24 €
Les Napolitains Marcelle Padovani / Boek Gebonden (paperback)
common.buy 19.54 €
Pilote d'essais du cerf-volant à l'aéroplane Bellenger / Boek Gebonden (paperback)
common.buy 33.92 €
Das Menschenbild im weltweiten Wandel der Grundrechte. Bernd Schünemann / Boek Gebonden (paperback)
common.buy 94.79 €
bisschen mehr als Freundschaft Andreas Neubauer / Boek Gebonden (paperback)
common.buy 13.16 €
Deutsche Predigten und Traktate eister Eckhart / Boek Gebonden (harde band)
common.buy 42.02 €
Projektmanagement Fur Kulturmanager Armin Klein / Boek Gebonden (paperback)
common.buy 47.29 €
Das Interieur in Karl Mays Amerika-Romanen Anna Lindner / Boek Gebonden (paperback)
common.buy 16.20 €
Studienzeiten als Ist-Prozess Christiene Jasmand / Boek Gebonden (paperback)
common.buy 52.66 €
Verlagsgeschichte bzw. -politik des S. Fischer Verlags und Rowohlt Verlags unter besonderer Berucksichtigung des Belletristikangebots Tobias Schmitt / Boek Gebonden (paperback)
common.buy 35.74 €
Malé životy Milan Čarňanský / Boek Gebonden (paperback)
common.buy 5.16 €
Gruselkabinett - 20.000 Meilen unter dem Meer, 2 Audio-CDs Jules Verne / Audio Audio cd
common.buy 18.42 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Correct Hardware Design and Verification Methods
Auteur Dominique Borrione, Wolfgang Paul
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2005
Aantal pagina's 414
EAN 9783540291053
ISBN 3540291059
Libristo-code 01561190
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1330
Afmetingen 155 x 235 x 24

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Systeemanalyse en systeemontwerp
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Informatica en informatietechnologie > Computer hardware
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Precursor Chemistry of Advanced Materials Roland A. Fischer / Boek Gebonden (harde band)
common.buy 343.95 €
So...This is Your Life- Mataya Arrow Gaye J. Gompers / Boek Gebonden (paperback)
common.buy 42.63 €
Life in the Far West George F. Ruxton / Boek Gebonden (paperback)
common.buy 19.03 €
Pointing at the Moon Jay L. Garfield / Boek Gebonden (paperback)
common.buy 41.62 €
Adjusting to Globalization Greenaway / Boek Gebonden (paperback)
common.buy 31.89 €
Runaway Joyce Case / Boek Gebonden (paperback)
common.buy 13.56 €
Mexico Michael Hogan / Boek Gebonden (paperback)
common.buy 10.32 €
Tallahassee: A Capital City History Julianne Hare / Boek Gebonden (paperback)
common.buy 22.17 €
Punta Gorda Ann M. O'Phelan / Boek Gebonden (paperback)
common.buy 22.17 €
Reserve Retirement Reform Beth J. Asch / Boek Gebonden (paperback)
common.buy 22.68 €
Elite Tennis Players Handbook to Powerful Muscle Developing Nutrition: Prepare Like the Pros by Escalating Your RMR to Generate More Muscle, Eliminate Joseph Correa / Boek Gebonden (paperback)
common.buy 22.98 €
Mastering VMware vSphere 6.7 Nick Marshall / Boek Gebonden (paperback)
common.buy 45.26 €
Temporomandibular Disorders Henry A. Gremillion / Boek Gebonden (paperback)
common.buy 110.89 €
Tucker and the Big Bad Bully Lynn McCain / Boek Gebonden (paperback)
common.buy 10.32 €
Dreamer Delilah Gose / Boek Gebonden (paperback)
common.buy 15.79 €
Great Ormond Street Nurse Vanessa Martin / Boek Gebonden (paperback)
common.buy 18.12 €
Extempore Speech, How to Acquire and Practice It / Boek Gebonden (harde band)
common.buy 62.38 €
Wordt verwacht
Style is Eternal Nicole Jenkins / Boek Gebonden (paperback)
common.buy 32.60 €
Blow the Trumpet in Zion! Haynes Frederick D. III / Boek Gebonden (paperback)
common.buy 29.87 €
Fibrewise Topology I. M. James / Boek Gebonden (paperback)
common.buy 54.07 €
Cruel as the Grave Emma Dorothy Eliza Nevitte Southworth / Boek Gebonden (paperback)
common.buy 16.20 €
Jailed for Possession Catherine Carstairs / Boek Gebonden (paperback)
common.buy 37.46 €
Forming National Identity in Iran Ali Mozaffari / Boek Gebonden (harde band)
common.buy 216.63 €
Central Nervous System Diseases and Inflammation Thomas E. Lane / Boek Gebonden (harde band)
common.buy 154.55 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?