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

Retourneren binnen 30 dagen

Klanten kochten ook

Wordt verwacht
Kerberos in the Silver Rain AIKAWA / Boek Gebonden (paperback)
common.buy 15.39 €
GRANDMASTER OF DEMONIC 05 Mo Xiang Tong Xiu / Boek Boek
common.buy 18.32 €
La pédagogie Montessori / Boek Gebonden (paperback)
common.buy 6.17 €
Johannes R. Bechers Publizistik in der Sowjetunion, 1935?1945 Simone Barck / Boek Gebonden (harde band)
common.buy 119.30 €
Zamalowane okna Anna Limanowicz / Boek Gebonden (harde band)
common.buy 9.92 €
La MLS (Mls) Annie Evearts / Boek Gebonden (paperback)
common.buy 11.54 €
Begegnung am Donnerstag / Boek Gebonden (paperback)
common.buy 25.31 €
Mimo wszystko Polak / Luisterboek MP3
common.buy 7.89 €
Collection Des Principaux Cartulaires Du Diocese de Troyes. 2 (Ed.1875-1890) Charles Lalore / Boek Gebonden (paperback)
common.buy 29.16 €
Peripetie české ekonomiky a měny Stanislava Janáčková / Boek Gebonden (paperback)
common.buy 5.97 €
O umění s rozumem Miroslav Zelinský; Miloslav Klíma; Miroslav Plešák / Boek Boek
common.buy 8.19 €
Einseitige Gestaltungsmöglichkeiten der Arbeitgeberseite zur Einwirkung auf Gesamtvereinbarungen im Rahmen wirtschaftlicher Krisen. André Beathalter / Boek Gebonden (paperback)
common.buy 111.40 €
Regierungskommunikation in Deutschland Jana Heinze / Boek Gebonden (paperback)
common.buy 71.90 €
Todeszauber im Klassenzimmer Wilhelm Rossi / Boek Gebonden (paperback)
common.buy 21.77 €
Musik zur Weihnachtsgeschichte nach dem Lukasevangelium (Kap.2,1-20) Ragnhild Fehling / Boek Gebonden (paperback)
common.buy 9.00 €
Universität und wissenschaftliches Wissen Eva Eirmbter-Stolbrink / Boek Gebonden (paperback)
common.buy 42.73 €
Harcèlement sexuel au bureau - moi, je témoigne MARRA / Boek Gebonden (paperback)
common.buy 29.87 €
Einleitung, UEberlieferung Horst Brunner / Boek Gebonden (harde band)
common.buy 188.78 €
Juan Ramón Jiménez, 1896-1958 José Carlos Mainer Baqué / Boek Gebonden (paperback)
common.buy 61.37 €
108 miradas : del lado de fuera y del lado de dentro / Boek Gebonden (paperback)
common.buy 28.05 €
Mondjunge Viktoria Weber / Boek Gebonden (paperback)
common.buy 14.78 €
Les Contours De L'Amour Jean Daniel Francois M D / Boek Gebonden (paperback)
common.buy 13.97 €
Voordelig
Zamilované písničky ze 60 let interpreti Různí / Audio Audio cd
common.buy 2.93 €
Apple de Tim Cook, La Leander Kahney / Boek Gebonden (paperback)
common.buy 24.91 €

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

Search for Solvency Alfred E. Eckes / Boek Gebonden (paperback)
common.buy 41.21 €
A Journey To St. Petersburg And Moscow Through Courland And Livonia Leitch Ritchie / Boek Gebonden (paperback)
common.buy 28.45 €
The Pong-pendium: A Compilation of Little Stinkers Including their Pongs, Wrongs andSongs Robin Dry / Boek Gebonden (paperback)
common.buy 10.32 €
Conquering My Nemesis Hekkie Van Der Westhuizen / Boek Gebonden (paperback)
common.buy 13.56 €
Chironomidae Larvae, Vol. 2: Chironomini: Biology and Ecology of the Chironomini H. K. M. Moller Pillot / Boek Gebonden (harde band)
common.buy 111.60 €
International Code of Botanical Nomenclature: Adopted by the Seventh International Botanical Congress, Stockholm, July 1950 International Botanical Congress (7th / Boek Gebonden (harde band)
common.buy 32.60 €
Palgrave Handbook of Leadership in Transforming Asia Nuttawuth Muenjohn / Boek Gebonden (harde band)
common.buy 312.14 €
Fallen Series Megan D. Harding / Boek Gebonden (paperback)
common.buy 15.39 €
Universities and Regional Advantage in the Knowledge Economy Fumi Kitagawa / Boek Gebonden (paperback)
common.buy 84.16 €
Heart of Darkness: (Starbooks Classics Editions) Joseph Conrad / Boek Gebonden (paperback)
common.buy 7.18 €
TOP
Violent and Painful Anal Sex: Five tales of brutal and degrading sodomy Blair Karina / Boek Gebonden (paperback)
common.buy 10.22 €
Thomas Hardy Annie Macdonell / Boek Gebonden (paperback)
common.buy 23.28 €
Helena Paderewska Maciej Siekierski / Boek Gebonden (paperback)
common.buy 30.17 €
TOP
Eric Stanton and the History of the Bizarre Underground PEREZ R. / Boek Gebonden (harde band)
common.buy 25.01 €
Russian Nuclear Orthodoxy Dmitry Adamsky / Boek Gebonden (harde band)
common.buy 153.53 €
I See Zoo Animals LAUREN DICK / Boek Gebonden (paperback)
common.buy 10.83 €
TOP
Penguin Readers Level 6: One Of Us Is Lying (ELT Graded Reader) MCMANUS KAREN M. / Boek Gebonden (paperback)
common.buy 7.89 €
Mammals of South America Rexford D Lord / Boek Gebonden (harde band)
common.buy 69.77 €
Moleskine Plánovací zápisník 2025 černý S, tvrdý / Boek Gebonden (harde band)
common.buy 20.85 €
Love Lessons Alda Merini / Boek Gebonden (paperback)
common.buy 26.32 €
Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012 Zhicai Zhong / Boek Gebonden (harde band)
common.buy 591.58 €
Media Impact Biagi / Boek Gebonden (paperback)
common.buy 121.53 €
Regulation Theory and Sustainable Development Corinne Gendron / Boek Gebonden (harde band)
common.buy 235.27 €
Evaluation in Decision Making Naftaly S. Glasman / Boek Gebonden (harde band)
common.buy 103.10 €

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?