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

IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings

Taal EngelsEngels
Boek Paperback
Boek Correct Hardware Design and Verification Methods Paolo Enrico Camurati
Libristo-code: 05274512
Uitgeverij Springer, Berlin, november 1994
This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conferen... Volledige beschrijving
? points 125 b
51.38 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

de la Cession de Droits Successifs Et de Ses Effets En Droit Romain Et En Droit Francais SAIGNAT-L / Boek Paperback
common.buy 17.79 €
Comprender el desierto, es comprender el mar FRANCISCO JAVIER EXPOSITO / Boek Paperback
common.buy 13.17 €
L'abans i el després de la crisi de 2008 a l'economia de Tarragona Margalef Llebaria / Boek Paperback
common.buy 25.03 €
Souvenirs de Voyages Aux Pyrenees, En Italie Et En Espagne Vervel-M / Boek Paperback
common.buy 20.71 €
MORIARTY EL PATRIOTA 3 TAKEUCHI / Boek Boek
common.buy 9.65 €
Neuartige 4-Heteroaryl-Antipyrine als DPP-IV-Inhibitoren Mohamed Abdalla / Boek Paperback
common.buy 31.97 €
ME ENAMORE DE LA VILLANA 3 INORI / Boek Boek
common.buy 10.55 €
Hagers Handbuch der Pharmazeutischen Praxis W. Reuß / Boek Paperback
common.buy 74.92 €
Verbesserung der Diagnosefahigkeit bei Rechenschwache durch Erprobung des informellen Diagnoseverfahrens DUEMA am Beispiel einer Foerdergruppe Stefanie Hiller / Boek Paperback
common.buy 37.61 €
Die drei ??? und die Poker-Hölle, 1 Audio-CD Oliver Rohrbeck / Audio Audio cd
common.buy 11.96 €
Einsterns Schwester - Sprache und Lesen - Zu allen Ausgaben - 3./4. Schuljahr Roland Bauer / Spel/speelgoed Speelgoed
common.buy 9.95 €
'Nur für Anfänger' - Klassische Gitarre (inkl. CD) Gerald Goodwin / Boek Paperback
common.buy 16.28 €
Introduction à une histoire naturelle Claude Allègre / Boek Boek
common.buy 29.36 €
Die behördliche Genehmigung im strafrechtlichen Deliktsaufbau. Steffen Fortun / Boek Paperback
common.buy 56.21 €
La cocina andaluza Guadalquivir arriba Francisco Casas Delgado / Boek Paperback
common.buy 17.99 €
Proces Complet de M. de Pradt, Ancien Archeveque de Malines MORET-P / Boek Paperback
common.buy 21.61 €
Boxer and Brandon KIDKIDDOS BOOKS / Boek Gebonden
common.buy 27.55 €
La prometida JHANSIR JACKSON PAEZ BLOOM / Boek Boek
common.buy 16.38 €
Wild Day at the Zoo / Egun Zoroa Zooan - Basque Edition Victor Dias de Oliveira Santos / Boek Gebonden
common.buy 19.10 €

This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARME '95, held in Frankfurt, Germany, in October 1995.The 20 revised full papers presented were carefullyselected by the program committee and address all current aspects of research and advanced applications in the field of formal verification of hardware. Among the topics covered are model checking, theorem proving, formally verified synthesis, process algebras, finite state systems, verification environments, language containment, and VHDL.

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 Paolo Enrico Camurati, Hans Eveking
Taal Engels
Bindwijze Boek - Paperback
Datum van uitgifte 1995
Aantal pagina's 346
EAN 9783540603856
ISBN 3540603859
Libristo-code 05274512
Uitgeverij Springer, Berlin
Gewicht 478
Afmetingen 155 x 233 x 18

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Databanken > Gedistribueerde databanken
Informatica en informatietechnologie > Informatica > Systeemanalyse en systeemontwerp
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Computernetwerken en communicatiesystemen
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

Puppy Birthday to You! (Paw Patrol) Golden Books / Boek Gebonden
common.buy 5.12 €
Tranquility, Solitude, and Other Poems Karen Lee Oliver / Boek Gebonden
common.buy 27.04 €
Life Under The Jolly Roger Gabriel Kuhn / Boek Paperback
common.buy 16.08 €
Walking in the Miracles of Prayer Dr Margaret N Iduma (Phd) / Boek Paperback
common.buy 19.80 €
Transport Properties of Chemicals and Hydrocarbons Carl L. Yaws / E-book Adobe ePub DRM
common.buy 292.89 €
The Valley's Legends & Legacies IV Catherine Morison Rehart / Boek Paperback
common.buy 20.01 €
What Could Possibly Go Wrong?: The Chronicles of St. Mary's Book Six Jodi Taylor / Boek Paperback
common.buy 13.87 €
All You Have in Common Dara Wier / Boek Paperback
common.buy 11.46 €
What Is Symmetry in Nature? Bobbie Kalman / Boek Gebonden
common.buy 23.13 €
Portraits of Medieval Eastern Europe, 900-1400 Donald Ostrowski / E-book Adobe ePub DRM
common.buy 60.26 €
Advanced Computing and Systems for Security Rituparna Chaki / Boek Paperback
common.buy 51.38 €
Natural History of Wine Ian Tattersall / E-book Adobe ePub DRM
common.buy 18.10 €
Foundations of C++/CLI Gordon Hogenson / Boek Paperback
common.buy 65.26 €
Exam Prep for The Economic Way of Thinking by Heyne, Boettke, Prychitko, 11th Ed. Boettke Prychitko Heyne / Boek Paperback
common.buy 37.00 €
Feminist Inquiry M.E. Hawkesworth / Boek Paperback
common.buy 35.90 €
Impact of War on Federal Personnel Administration Gladys M Kammerer / Boek Paperback
common.buy 34.79 €
Delphinus Anita Marasco Maier / Boek Paperback
common.buy 10.05 €
Crooked House Agatha Christie / Boek Gebonden
common.buy 25.64 €
Severe Community-Acquired Pneumonia Gurmeet Singh / E-book Adobe ePub DRM
common.buy 47.58 €
English Verse Edward Leeson / Audio Audio cd
common.buy 13.67 €
Three Wise Men from the East PATRICK WHITWORTH / Boek Gebonden
common.buy 28.55 €
Ajax Sophocles / Boek Paperback
common.buy 16.89 €
All the Finer Things Stephanie Connelley Worlton / Boek Paperback
common.buy 13.27 €
Wolfgang Amadeus Mozart: The Life and Music of the Great Composer Charles River Editors / Boek Paperback
common.buy 8.04 €

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?