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

11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4-7, 2001 Proceedings

Taal EngelsEngels
Boek Paperback
Boek Correct Hardware Design and Verification Methods Tiziana Margaria
Libristo-code: 01563746
Uitgeverij Springer, Berlin, november 2000
This book constitutes the refereed proceedings of the 11th IFIP WG 10.5 Advanced Research Working Co... Volledige beschrijving
? points 125 b
51.38 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

La MLS (Mls) Annie Evearts / Boek Paperback
common.buy 11.46 €
Zamalowane okna Anna Limanowicz / Boek Gebonden
common.buy 8.54 €
Johannes R. Bechers Publizistik in der Sowjetunion, 1935?1945 Simone Barck / Boek Gebonden
common.buy 118.47 €
Begegnung am Donnerstag / Boek Paperback
common.buy 25.14 €
Die wirklich wahre Wahrheit Nanen / Boek Boek
common.buy 16.18 €
La pédagogie Montessori / Boek Paperback
common.buy 5.02 €
GRANDMASTER OF DEMONIC 05 Mo Xiang Tong Xiu / Boek Boek
common.buy 16.69 €
Wordt verwacht
Kerberos in the Silver Rain AIKAWA / Boek Paperback
common.buy 15.18 €
Mimo wszystko Polak / Luisterboek MP3
common.buy 7.94 €
Pražský chodec proti tankům Jiří Všetečka / Boek Boek
common.buy 6.93 €
Collection Des Principaux Cartulaires Du Diocese de Troyes. 2 (Ed.1875-1890) Charles Lalore / Boek Paperback
common.buy 28.35 €
Peripetie české ekonomiky a měny Stanislava Janáčková / Boek Paperback
common.buy 6.43 €
O umění s rozumem Miroslav Zelinský; Miloslav Klíma; Miroslav Plešák / Boek Boek
common.buy 8.84 €
Einseitige Gestaltungsmöglichkeiten der Arbeitgeberseite zur Einwirkung auf Gesamtvereinbarungen im Rahmen wirtschaftlicher Krisen. André Beathalter / Boek Paperback
common.buy 121.38 €
Regierungskommunikation in Deutschland Jana Heinze / Boek Paperback
common.buy 70.69 €
Todeszauber im Klassenzimmer Wilhelm Rossi / Boek Paperback
common.buy 21.41 €
Musik zur Weihnachtsgeschichte nach dem Lukasevangelium (Kap.2,1-20) Ragnhild Fehling / Boek Paperback
common.buy 8.94 €
Universität und wissenschaftliches Wissen Eva Eirmbter-Stolbrink / Boek Paperback
common.buy 42.23 €
Zwischen Hafen und Horizont Michael North / Boek Gebonden
common.buy 17.79 €
Gleby nienasycone i mieszanki asfaltowe de Medeiros Melo Neto Osires de Medeiros Melo Neto / Boek Paperback
common.buy 35.51 €
Einleitung, UEberlieferung Horst Brunner / Boek Gebonden
common.buy 187.46 €
Juan Ramón Jiménez, 1896-1958 José Carlos Mainer Baqué / Boek Paperback
common.buy 60.84 €
108 miradas : del lado de fuera y del lado de dentro / Boek Paperback
common.buy 27.86 €
Mondjunge Viktoria Weber / Boek Paperback
common.buy 14.67 €

This book constitutes the refereed proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2001, held in Livingston, Scotland, UK in September 2001.The 28 revised full papers and eight short papers presented together with two invited papers and one special paper were carefully reviewed and selected from 56 submissions. The book offers topical sections on model checking, clocking issues, theorem proving with higher order logics, hardware compilation, tools, component verification, case studies, algorithm verification, and duration calculus.

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 Tiziana Margaria, Tom Melham
Taal Engels
Bindwijze Boek - Paperback
Datum van uitgifte 2001
Aantal pagina's 488
EAN 9783540425410
ISBN 3540425411
Libristo-code 01563746
Uitgeverij Springer, Berlin
Gewicht 699
Afmetingen 155 x 235 x 25

Categorieën

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 > Computer hardware
Informatica en informatietechnologie > Besturingssystemen
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

Palgrave Handbook of Leadership in Transforming Asia Nuttawuth Muenjohn / Boek Gebonden
common.buy 308.98 €
Wordt verwacht
Acupuncture in Neurological Conditions Val Hopwood / Boek Paperback
common.buy 62.95 €
PIZZARELLI FAVORITE SOLOS GTR DVD John Pizzarelli / Video Dvd
common.buy 36.60 €
Universities and Regional Advantage in the Knowledge Economy Fumi Kitagawa / Boek Paperback
common.buy 83.37 €
TOP
What Lies Beyond the Veil Adelaide Forrest / Boek Paperback
common.buy 9.65 €
TOP
Eric Stanton and the History of the Bizarre Underground PEREZ R. / Boek Gebonden
common.buy 25.33 €
A Journey To St. Petersburg And Moscow Through Courland And Livonia Leitch Ritchie / Boek Paperback
common.buy 25.64 €
The Pong-pendium: A Compilation of Little Stinkers Including their Pongs, Wrongs andSongs Robin Dry / Boek Paperback
common.buy 10.55 €
Chironomidae Larvae, Vol. 2: Chironomini: Biology and Ecology of the Chironomini H. K. M. Moller Pillot / Boek Gebonden
common.buy 113.94 €
Conquering My Nemesis Hekkie Van Der Westhuizen / Boek Paperback
common.buy 13.87 €
Search for Solvency Alfred E. Eckes / Boek Paperback
common.buy 42.03 €
Fallen Series Megan D. Harding / Boek Paperback
common.buy 15.68 €
International Code of Botanical Nomenclature: Adopted by the Seventh International Botanical Congress, Stockholm, July 1950 International Botanical Congress (7th / Boek Gebonden
common.buy 35.71 €
Heart of Darkness: (Starbooks Classics Editions) Joseph Conrad / Boek Paperback
common.buy 7.33 €
TOP
Violent and Painful Anal Sex: Five tales of brutal and degrading sodomy Blair Karina / Boek Paperback
common.buy 10.35 €
Helena Paderewska Maciej Siekierski / Boek Paperback
common.buy 30.67 €
Dick Doodles Coloring Book HILLARY LEBEN / Boek Paperback
common.buy 12.96 €
Environmental Engineering Maryam Marani-Barzani / Boek Paperback
common.buy 39.01 €
Deliberative Democracy Ian O'Flynn / Boek Gebonden
common.buy 61.84 €
Gluten Free Cookbook Cameron Herrera / Boek Paperback
common.buy 16.08 €
Moleskine Plánovací zápisník 2025 černý S, tvrdý / Boek Gebonden
common.buy 22.52 €
Love Lessons Alda Merini / Boek Paperback
common.buy 31.47 €
Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012 Zhicai Zhong / Boek Gebonden
common.buy 587.25 €
Media Impact Biagi / Boek Paperback
common.buy 120.73 €

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?