Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

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

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Correct Hardware Design and Verification Methods Tiziana Margaria
Libristo kód: 01563746
Nakladateľstvo Springer, Berlin, november 2000
This book constitutes the refereed proceedings of the 11th IFIP WG 10.5 Advanced Research Working Co... Celý popis
? points 125 b
51.73 €
Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Pripravujeme
Kerberos in the Silver Rain AIKAWA / Kniha Brožovaná
common.buy 15.38 €
GRANDMASTER OF DEMONIC 05 Mo Xiang Tong Xiu / Kniha Kniha
common.buy 15.89 €
La pédagogie Montessori / Kniha Brožovaná
common.buy 6.17 €
Johannes R. Bechers Publizistik in der Sowjetunion, 1935?1945 Simone Barck / Kniha Pevná
common.buy 119.28 €
Zamalowane okna Anna Limanowicz / Kniha Pevná
common.buy 9.91 €
La MLS (Mls) Annie Evearts / Kniha Brožovaná
common.buy 11.53 €
Begegnung am Donnerstag / Kniha Brožovaná
common.buy 25.31 €
Mimo wszystko Polak / Audiokniha MP3
common.buy 7.89 €
Pražský chodec proti tankům Jiří Všetečka / Kniha Kniha
common.buy 6.37 €
Collection Des Principaux Cartulaires Du Diocese de Troyes. 2 (Ed.1875-1890) Charles Lalore / Kniha Brožovaná
common.buy 27.84 €
Peripetie české ekonomiky a měny Stanislava Janáčková / Kniha Brožovaná
common.buy 4.55 €
O umění s rozumem Miroslav Zelinský; Miloslav Klíma; Miroslav Plešák / Kniha Kniha
common.buy 7.48 €
Einseitige Gestaltungsmöglichkeiten der Arbeitgeberseite zur Einwirkung auf Gesamtvereinbarungen im Rahmen wirtschaftlicher Krisen. André Beathalter / Kniha Brožovaná
common.buy 106.11 €
Regierungskommunikation in Deutschland Jana Heinze / Kniha Brožovaná
common.buy 65.61 €
Todeszauber im Klassenzimmer Wilhelm Rossi / Kniha Brožovaná
common.buy 20.75 €
Musik zur Weihnachtsgeschichte nach dem Lukasevangelium (Kap.2,1-20) Ragnhild Fehling / Kniha Brožovaná
common.buy 9.00 €
Universität und wissenschaftliches Wissen Eva Eirmbter-Stolbrink / Kniha Brožovaná
common.buy 40.60 €
Harcèlement sexuel au bureau - moi, je témoigne MARRA / Kniha Brožovaná
common.buy 29.86 €
Einleitung, UEberlieferung Horst Brunner / Kniha Pevná
common.buy 188.74 €
Juan Ramón Jiménez, 1896-1958 José Carlos Mainer Baqué / Kniha Brožovaná
common.buy 61.35 €
108 miradas : del lado de fuera y del lado de dentro / Kniha Brožovaná
common.buy 28.04 €
Mondjunge Viktoria Weber / Kniha Brožovaná
common.buy 14.77 €
Les Contours De L'Amour Jean Daniel Francois M D / Kniha Brožovaná
common.buy 13.26 €
Lacno
Zamilované písničky ze 60 let interpreti Různí / Audio Audio CD
common.buy 2.93 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Correct Hardware Design and Verification Methods
Autor Tiziana Margaria, Tom Melham
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2001
Počet strán 488
EAN 9783540425410
ISBN 3540425411
Libristo kód 01563746
Nakladateľstvo Springer, Berlin
Váha 699
Rozmery 155 x 235 x 25

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Systémová analýza a systémový dizajn
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Počítačový hardvér
Výpočtové a informačné technológie > Operačné systémy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Search for Solvency Alfred E. Eckes / Kniha Brožovaná
common.buy 39.58 €
A Journey To St. Petersburg And Moscow Through Courland And Livonia Leitch Ritchie / Kniha Brožovaná
common.buy 26.93 €
The Pong-pendium: A Compilation of Little Stinkers Including their Pongs, Wrongs andSongs Robin Dry / Kniha Brožovaná
common.buy 9.81 €
Conquering My Nemesis Hekkie Van Der Westhuizen / Kniha Brožovaná
common.buy 12.75 €
Chironomidae Larvae, Vol. 2: Chironomini: Biology and Ecology of the Chironomini H. K. M. Moller Pillot / Kniha Pevná
common.buy 106.72 €
International Code of Botanical Nomenclature: Adopted by the Seventh International Botanical Congress, Stockholm, July 1950 International Botanical Congress (7th / Kniha Pevná
common.buy 30.98 €
Palgrave Handbook of Leadership in Transforming Asia Nuttawuth Muenjohn / Kniha Pevná
common.buy 312.08 €
Fallen Series Megan D. Harding / Kniha Brožovaná
common.buy 14.67 €
Universities and Regional Advantage in the Knowledge Economy Fumi Kitagawa / Kniha Brožovaná
common.buy 79.99 €
Heart of Darkness: (Starbooks Classics Editions) Joseph Conrad / Kniha Brožovaná
common.buy 6.88 €
Top
Violent and Painful Anal Sex: Five tales of brutal and degrading sodomy Blair Karina / Kniha Brožovaná
common.buy 9.61 €
Thomas Hardy Annie Macdonell / Kniha Brožovaná
common.buy 23.28 €
Helena Paderewska Maciej Siekierski / Kniha Brožovaná
common.buy 26.72 €
Top
Eric Stanton and the History of the Bizarre Underground PEREZ R. / Kniha Pevná
common.buy 21.96 €
Russian Nuclear Orthodoxy Dmitry Adamsky / Kniha Pevná
common.buy 147.02 €
I See Zoo Animals LAUREN DICK / Kniha Brožovaná
common.buy 10.32 €
Top
Penguin Readers Level 6: One Of Us Is Lying (ELT Graded Reader) MCMANUS KAREN M. / Kniha Brožovaná
common.buy 8.29 €
Mammals of South America Rexford D Lord / Kniha Pevná
common.buy 63.78 €
Moleskine Plánovací zápisník 2025 černý S, tvrdý / Kniha Pevná
common.buy 19.53 €
Love Lessons Alda Merini / Kniha Brožovaná
common.buy 24.60 €
Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012 Zhicai Zhong / Kniha Pevná
common.buy 563.61 €
Media Impact Biagi / Kniha Brožovaná
common.buy 121.50 €
Regulation Theory and Sustainable Development Corinne Gendron / Kniha Pevná
common.buy 224.89 €
Evaluation in Decision Making Naftaly S. Glasman / Kniha Pevná
common.buy 103.07 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?