Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

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

Limba englezăengleză
Carte Carte broșată
Carte Correct Hardware Design and Verification Methods Tiziana Margaria
Codul Libristo: 01563746
Editura Springer, Berlin, noiembrie 2000
This book constitutes the refereed proceedings of the 11th IFIP WG 10.5 Advanced Research Working Co... Descrierea completă
? points 132 b
285.22 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

La MLS (Mls) Annie Evearts / Carte Carte broșată
common.buy 63.83 lei
Zamalowane okna Anna Limanowicz / Carte Copertă tare
common.buy 49.80 lei
Johannes R. Bechers Publizistik in der Sowjetunion, 1935?1945 Simone Barck / Carte Copertă tare
common.buy 657.17 lei
Begegnung am Donnerstag / Carte Carte broșată
common.buy 140.58 lei
Die wirklich wahre Wahrheit Nanen / Carte Carte
common.buy 90.04 lei
La pédagogie Montessori / Carte Carte broșată
common.buy 31.39 lei
GRANDMASTER OF DEMONIC 05 Mo Xiang Tong Xiu / Carte Carte
common.buy 96.38 lei
Curând
Kerberos in the Silver Rain AIKAWA / Carte Carte broșată
common.buy 80.99 lei
Pražský chodec proti tankům Jiří Všetečka / Carte Carte
common.buy 37.01 lei
Collection Des Principaux Cartulaires Du Diocese de Troyes. 2 (Ed.1875-1890) Charles Lalore / Carte Carte broșată
common.buy 139.85 lei
Peripetie české ekonomiky a měny Stanislava Janáčková / Carte Carte broșată
common.buy 33.99 lei
O umění s rozumem Miroslav Zelinský; Miloslav Klíma; Miroslav Plešák / Carte Carte
common.buy 46.57 lei
Einseitige Gestaltungsmöglichkeiten der Arbeitgeberseite zur Einwirkung auf Gesamtvereinbarungen im Rahmen wirtschaftlicher Krisen. André Beathalter / Carte Carte broșată
common.buy 610.17 lei
Regierungskommunikation in Deutschland Jana Heinze / Carte Carte broșată
common.buy 359.26 lei
Todeszauber im Klassenzimmer Wilhelm Rossi / Carte Carte broșată
common.buy 108.03 lei
Musik zur Weihnachtsgeschichte nach dem Lukasevangelium (Kap.2,1-20) Ragnhild Fehling / Carte Carte broșată
common.buy 50.21 lei
Universität und wissenschaftliches Wissen Eva Eirmbter-Stolbrink / Carte Carte broșată
common.buy 212.01 lei
Gleby nienasycone i mieszanki asfaltowe de Medeiros Melo Neto Osires de Medeiros Melo Neto / Carte Carte broșată
common.buy 197.87 lei
Einleitung, UEberlieferung Horst Brunner / Carte Copertă tare
common.buy 1 039.63 lei
Juan Ramón Jiménez, 1896-1958 José Carlos Mainer Baqué / Carte Carte broșată
common.buy 321.51 lei
108 miradas : del lado de fuera y del lado de dentro / Carte Carte broșată
common.buy 154.82 lei
Mondjunge Viktoria Weber / Carte Carte broșată
common.buy 82.03 lei
Les Contours De L'Amour Jean Daniel Francois M D / Carte Carte broșată
common.buy 76.63 lei
Leftin
Zamilované písničky ze 60 let interpreti Různí / Audio Audio CD
common.buy 15.17 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Correct Hardware Design and Verification Methods
Autor Tiziana Margaria, Tom Melham
Limba engleză
Legare Carte - Carte broșată
Data publicării 2001
Număr pagini 488
EAN 9783540425410
ISBN 3540425411
Codul Libristo 01563746
Editura Springer, Berlin
Greutatea 699
Dimensiuni 155 x 235 x 25

Categorii

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer hardware
Computing & Information Technology > Operating systems
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Conquering My Nemesis Hekkie Van Der Westhuizen / Carte Carte broșată
common.buy 75.59 lei
Search for Solvency Alfred E. Eckes / Carte Carte broșată
common.buy 224.60 lei
Universities and Regional Advantage in the Knowledge Economy Fumi Kitagawa / Carte Carte broșată
common.buy 418.32 lei
What Lies Beyond the Veil Adelaide Forrest / Carte Carte broșată
common.buy 54.58 lei
Top
Eric Stanton and the History of the Bizarre Underground PEREZ R. / Carte Copertă tare
common.buy 122.59 lei
A Journey To St. Petersburg And Moscow Through Courland And Livonia Leitch Ritchie / Carte Carte broșată
common.buy 141.20 lei
Helena Paderewska Maciej Siekierski / Carte Carte broșată
common.buy 148.58 lei
The Pong-pendium: A Compilation of Little Stinkers Including their Pongs, Wrongs andSongs Robin Dry / Carte Carte broșată
common.buy 56.97 lei
Chironomidae Larvae, Vol. 2: Chironomini: Biology and Ecology of the Chironomini H. K. M. Moller Pillot / Carte Copertă tare
common.buy 610.17 lei
Acupuncture in Neurological Conditions Val Hopwood / Carte Carte broșată
common.buy 315.89 lei
Palgrave Handbook of Leadership in Transforming Asia Nuttawuth Muenjohn / Carte Copertă tare
common.buy 1 739.03 lei
Fallen Series Megan D. Harding / Carte Carte broșată
common.buy 84.22 lei
Heart of Darkness: (Starbooks Classics Editions) Joseph Conrad / Carte Carte broșată
common.buy 39.61 lei
Top
Violent and Painful Anal Sex: Five tales of brutal and degrading sodomy Blair Karina / Carte Carte broșată
common.buy 56.04 lei
International Code of Botanical Nomenclature: Adopted by the Seventh International Botanical Congress, Stockholm, July 1950 International Botanical Congress (7th / Carte Copertă tare
common.buy 178.84 lei
Pharmacogenomics in Drug Discovery and Development Qing Yan / Carte Carte broșată
common.buy 866.60 lei
Gluten Free Cookbook Cameron Herrera / Carte Carte broșată
common.buy 87.65 lei
I See Zoo Animals LAUREN DICK / Carte Carte broșată
common.buy 59.57 lei
Moleskine Plánovací zápisník 2025 černý S, tvrdý / Carte Copertă tare
common.buy 109.17 lei
Love Lessons Alda Merini / Carte Carte broșată
common.buy 151.39 lei
Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012 Zhicai Zhong / Carte Copertă tare
common.buy 2 949.51 lei
Media Impact Biagi / Carte Carte broșată
common.buy 664.55 lei
Regulation Theory and Sustainable Development Corinne Gendron / Carte Copertă tare
common.buy 1 427.90 lei
Evaluation in Decision Making Naftaly S. Glasman / Carte Copertă tare
common.buy 568.89 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?