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 Gebonden (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.75 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

'Nur für Anfänger' - Klassische Gitarre (inkl. CD) Gerald Goodwin / Boek Gebonden (paperback)
common.buy 16.90 €
ME ENAMORE DE LA VILLANA 3 INORI / Boek Boek
common.buy 10.62 €
Die behördliche Genehmigung im strafrechtlichen Deliktsaufbau. Steffen Fortun / Boek Gebonden (paperback)
common.buy 47.19 €
Neuartige 4-Heteroaryl-Antipyrine als DPP-IV-Inhibitoren Mohamed Abdalla / Boek Gebonden (paperback)
common.buy 32.10 €
MORIARTY EL PATRIOTA 3 TAKEUCHI / Boek Boek
common.buy 9.71 €
Anfangsgründe der theoretischen und angewandten Naturgeschichte der Tiere. Tl.4/2 Georg A. Suckow / Boek Gebonden (paperback)
common.buy 44.55 €
Wild Day at the Zoo / Egun Zoroa Zooan - Basque Edition Victor Dias de Oliveira Santos / Boek Gebonden (harde band)
common.buy 18.73 €
Souvenirs de Voyages Aux Pyrenees, En Italie Et En Espagne Vervel-M / Boek Gebonden (paperback)
common.buy 20.35 €
La prometida JHANSIR JACKSON PAEZ BLOOM / Boek Boek
common.buy 16.50 €
Boxer and Brandon KIDKIDDOS BOOKS / Boek Gebonden (harde band)
common.buy 26.02 €
Einsterns Schwester - Sprache und Lesen - Zu allen Ausgaben - 3./4. Schuljahr Roland Bauer / Spel/speelgoed Speelgoed
common.buy 10.02 €
Die drei ??? und die Poker-Hölle, 1 Audio-CD Oliver Rohrbeck / Audio Audio cd
common.buy 12.04 €
La cocina andaluza Guadalquivir arriba Francisco Casas Delgado / Boek Gebonden (paperback)
common.buy 18.32 €

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 - Gebonden (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

Numicon: Investigations with Numicon Teaching Book Matthew Mills / Boek Ringband
common.buy 64.20 €
Puppy Birthday to You! (Paw Patrol) Golden Books / Boek Gebonden (harde band)
common.buy 4.75 €
Tranquility, Solitude, and Other Poems Karen Lee Oliver / Boek Gebonden (harde band)
common.buy 30.17 €
Life Under The Jolly Roger Gabriel Kuhn / Boek Gebonden (paperback)
common.buy 15.79 €
All the Finer Things Stephanie Connelley Worlton / Boek Gebonden (paperback)
common.buy 13.06 €
Delphinus Anita Marasco Maier / Boek Gebonden (paperback)
common.buy 9.92 €
Feminist Inquiry M.E. Hawkesworth / Boek Gebonden (paperback)
common.buy 38.88 €
Exam Prep for The Economic Way of Thinking by Heyne, Boettke, Prychitko, 11th Ed. Boettke Prychitko Heyne / Boek Gebonden (paperback)
common.buy 38.88 €
Foundations of C++/CLI Gordon Hogenson / Boek Gebonden (paperback)
common.buy 65.62 €
What Is Symmetry in Nature? Bobbie Kalman / Boek Gebonden (harde band)
common.buy 23.28 €
What Could Possibly Go Wrong?: The Chronicles of St. Mary's Book Six Jodi Taylor / Boek Gebonden (paperback)
common.buy 13.56 €
The Valley's Legends & Legacies IV Catherine Morison Rehart / Boek Gebonden (paperback)
common.buy 17.61 €
Crooked House Agatha Christie / Boek Gebonden (harde band)
common.buy 25.21 €
English Verse Edward Leeson / Audio Audio cd
common.buy 13.76 €
Three Wise Men from the East PATRICK WHITWORTH / Boek Gebonden (harde band)
common.buy 30.88 €
VCs of the First World War: The Naval VCs Stephen Snelling / Boek Gebonden (paperback)
common.buy 11.54 €
Area 51 Nick Redfern / Boek Gebonden (paperback)
common.buy 37.77 €
Carve the Mark 2-Book Paperback Box Set Veronica Roth / Boek Gebonden (paperback)
common.buy 38.07 €
One Immigrant in a World of Many ANDREA BERM DEZ / Boek Gebonden (paperback)
common.buy 18.32 €
Oil Palm Jonathan E. Robins / Boek Gebonden (paperback)
common.buy 37.87 €
Political Theory and South Asian Counter-Narratives Maidul Islam / Boek Gebonden (harde band)
common.buy 209.34 €
TOP
Crazy Quilting for Beginners Handy Pocket Guide Boggon / Boek Gebonden (paperback)
common.buy 8.19 €
Natural History of Wine Ian Tattersall / E-book Adobe ePub DRM
common.buy 12.14 €
Neurology: A Case-Based Approach / Boek Gebonden (harde band)
common.buy 132.16 €

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?