Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

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

Език Английски езикАнглийски език
Книга С меки корици
Книга Correct Hardware Design and Verification Methods Tiziana Margaria
Код Либристо: 01563746
Издателство Springer, Berlin, ноември 2000
This book constitutes the refereed proceedings of the 11th IFIP WG 10.5 Advanced Research Working Co... Цялото описание
? points 132 b
54.47 €
106.54  лв
Външен склад Изпращаме след 5-8 дни

30 дни за връщане на стоката

Клиентите са закупили също

Подготвяме
Kerberos in the Silver Rain AIKAWA / Книга С меки корици
common.buy 16.00 € 31.29 лв
GRANDMASTER OF DEMONIC 05 Mo Xiang Tong Xiu / Книга Книга
common.buy 19.26 € 37.67 лв
La pédagogie Montessori / Книга С меки корици
common.buy 6.47 € 12.65 лв
Johannes R. Bechers Publizistik in der Sowjetunion, 1935?1945 Simone Barck / Книга С твърди корици
common.buy 125.58 € 245.60 лв
Zamalowane okna Anna Limanowicz / Книга С твърди корици
common.buy 10.46 € 20.45 лв
La MLS (Mls) Annie Evearts / Книга С меки корици
common.buy 12.22 € 23.89 лв
Begegnung am Donnerstag / Книга С меки корици
common.buy 26.87 € 52.56 лв
Mimo wszystko Polak / Аудиокнига MP3
common.buy 8.33 € 16.30 лв
Collection Des Principaux Cartulaires Du Diocese de Troyes. 2 (Ed.1875-1890) Charles Lalore / Книга С меки корици
common.buy 29.20 € 57.11 лв
Peripetie české ekonomiky a měny Stanislava Janáčková / Книга С меки корици
common.buy 6.31 € 12.35 лв
O umění s rozumem Miroslav Zelinský; Miloslav Klíma; Miroslav Plešák / Книга Книга
common.buy 8.69 € 17.01 лв
Einseitige Gestaltungsmöglichkeiten der Arbeitgeberseite zur Einwirkung auf Gesamtvereinbarungen im Rahmen wirtschaftlicher Krisen. André Beathalter / Книга С меки корици
common.buy 111.39 € 217.85 лв
Regierungskommunikation in Deutschland Jana Heinze / Книга С меки корици
common.buy 71.87 € 140.57 лв
Todeszauber im Klassenzimmer Wilhelm Rossi / Книга С меки корици
common.buy 21.80 € 42.63 лв
Musik zur Weihnachtsgeschichte nach dem Lukasevangelium (Kap.2,1-20) Ragnhild Fehling / Книга С меки корици
common.buy 9.58 € 18.73 лв
Universität und wissenschaftliches Wissen Eva Eirmbter-Stolbrink / Книга С меки корици
common.buy 42.72 € 83.55 лв
Harcèlement sexuel au bureau - moi, je témoigne MARRA / Книга С меки корици
common.buy 31.12 € 60.86 лв
Einleitung, UEberlieferung Horst Brunner / Книга С твърди корици
common.buy 198.70 € 388.62 лв
Juan Ramón Jiménez, 1896-1958 José Carlos Mainer Baqué / Книга С меки корици
common.buy 64.16 € 125.48 лв
108 miradas : del lado de fuera y del lado de dentro / Книга С меки корици
common.buy 29.56 € 57.82 лв
Mondjunge Viktoria Weber / Книга С меки корици
common.buy 15.69 € 30.68 лв
Les Contours De L'Amour Jean Daniel Francois M D / Книга С меки корици
common.buy 13.93 € 27.24 лв
Изгодно
Zamilované písničky ze 60 let interpreti Různí / Аудио Аудио компактдиск
common.buy 2.89 € 5.66 лв
Apple de Tim Cook, La Leander Kahney / Книга С меки корици
common.buy 26.09 € 51.04 лв

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.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Correct Hardware Design and Verification Methods
Автор Tiziana Margaria, Tom Melham
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2001
Брой страници 488
Баркод 9783540425410
ISBN 3540425411
Код Либристо 01563746
Издателство Springer, Berlin
Тегло 699
Размери 155 x 235 x 25

Категории

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
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Search for Solvency Alfred E. Eckes / Книга С меки корици
common.buy 41.22 € 80.61 лв
A Journey To St. Petersburg And Moscow Through Courland And Livonia Leitch Ritchie / Книга С меки корици
common.buy 28.48 € 55.70 лв
The Pong-pendium: A Compilation of Little Stinkers Including their Pongs, Wrongs andSongs Robin Dry / Книга С меки корици
common.buy 10.35 € 20.25 лв
Conquering My Nemesis Hekkie Van Der Westhuizen / Книга С меки корици
common.buy 13.61 € 26.63 лв
Chironomidae Larvae, Vol. 2: Chironomini: Biology and Ecology of the Chironomini H. K. M. Moller Pillot / Книга С твърди корици
common.buy 111.64 € 218.36 лв
International Code of Botanical Nomenclature: Adopted by the Seventh International Botanical Congress, Stockholm, July 1950 International Botanical Congress (7th / Книга С твърди корици
common.buy 32.62 € 63.80 лв
Palgrave Handbook of Leadership in Transforming Asia Nuttawuth Muenjohn / Книга С твърди корици
common.buy 326.30 € 638.18 лв
Fallen Series Megan D. Harding / Книга С меки корици
common.buy 15.38 € 30.07 лв
Universities and Regional Advantage in the Knowledge Economy Fumi Kitagawa / Книга С меки корици
common.buy 84.15 € 164.58 лв
Heart of Darkness: (Starbooks Classics Editions) Joseph Conrad / Книга С меки корици
common.buy 7.19 € 14.07 лв
Top
Violent and Painful Anal Sex: Five tales of brutal and degrading sodomy Blair Karina / Книга С меки корици
common.buy 10.20 € 19.94 лв
Thomas Hardy Annie Macdonell / Книга С меки корици
common.buy 24.39 € 47.69 лв
Helena Paderewska Maciej Siekierski / Книга С меки корици
common.buy 30.19 € 59.04 лв
Top
Eric Stanton and the History of the Bizarre Underground PEREZ R. / Книга С твърди корици
common.buy 25.01 € 48.91 лв
Russian Nuclear Orthodoxy Dmitry Adamsky / Книга С твърди корици
common.buy 153.54 € 300.30 лв
I See Zoo Animals LAUREN DICK / Книга С меки корици
common.buy 10.87 € 21.26 лв
Top
Penguin Readers Level 6: One Of Us Is Lying (ELT Graded Reader) MCMANUS KAREN M. / Книга С меки корици
common.buy 8.49 € 16.60 лв
Mammals of South America Rexford D Lord / Книга С твърди корици
common.buy 69.75 € 136.42 лв
Moleskine Plánovací zápisník 2025 černý S, tvrdý / Книга С твърди корици
common.buy 20.86 € 40.81 лв
Love Lessons Alda Merini / Книга С меки корици
common.buy 26.35 € 51.54 лв
Proceedings of the International Conference on Information Engineering and Applications (IEA) 2012 Zhicai Zhong / Книга С твърди корици
common.buy 591.59 € 1 157.06 лв
Media Impact Biagi / Книга С меки корици
common.buy 126.97 € 248.34 лв
Regulation Theory and Sustainable Development Corinne Gendron / Книга С твърди корици
common.buy 235.31 € 460.22 лв
Evaluation in Decision Making Naftaly S. Glasman / Книга С твърди корици
common.buy 108.69 € 212.58 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?