Проверка на състоянието на поръчката
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

13th IFIP WG 10.5Advanced Research, Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Correct Hardware Design and Verification Methods Dominique Borrione
Код Либристо: 01561190
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, септември 2005
This book constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Co... Цялото описание
? points 132 b
54.30 €
106.21  лв
Външен склад Изпращаме след 5-8 дни

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

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

Offener Himmel - weiter Raum Hans-Christoph Goßmann / Книга С меки корици
common.buy 26.32 € 51.48 лв
Chants populaires de France Eric LEBARDE / Книга С меки корици
common.buy 12.69 € 24.83 лв
Les Napolitains Marcelle Padovani / Книга С меки корици
common.buy 20.28 € 39.67 лв
Pilote d'essais du cerf-volant à l'aéroplane Bellenger / Книга С меки корици
common.buy 35.36 € 69.15 лв
Das Menschenbild im weltweiten Wandel der Grundrechte. Bernd Schünemann / Книга С меки корици
common.buy 94.57 € 184.97 лв
bisschen mehr als Freundschaft Andreas Neubauer / Книга С меки корици
common.buy 13.88 € 27.15 лв
Deutsche Predigten und Traktate eister Eckhart / Книга С твърди корици
common.buy 44.55 € 87.13 лв
Projektmanagement Fur Kulturmanager Armin Klein / Книга С меки корици
common.buy 49.76 € 97.33 лв
Das Interieur in Karl Mays Amerika-Romanen Anna Lindner / Книга С меки корици
common.buy 17.08 € 33.41 лв
Studienzeiten als Ist-Prozess Christiene Jasmand / Книга С меки корици
common.buy 52.45 € 102.58 лв
Verlagsgeschichte bzw. -politik des S. Fischer Verlags und Rowohlt Verlags unter besonderer Berucksichtigung des Belletristikangebots Tobias Schmitt / Книга С меки корици
common.buy 37.78 € 73.90 лв
Malé životy Milan Čarňanský / Книга С меки корици
common.buy 5.47 € 10.69 лв
Gruselkabinett - 20.000 Meilen unter dem Meer, 2 Audio-CDs Jules Verne / Аудио Аудио компактдиск
common.buy 19.56 € 38.26 лв

This book constitutes the refereed proceedings of the 13th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME 2005, held in Saarbrücken, Germany, in October 2005.§The 21 revised full papers and 18 short papers presented together with 2 invited talks and one tutorial were carefully reviewed and selected from 79 submissions. The papers are organized in topical sections on functional approaches to design description, game solving approaches, abstraction, algorithms and techniques for speeding (DD-based) verification, real time and LTL model checking, evaluation of SAT-based tools, model reduction, and verification of memory hierarchy mechanisms.

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

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

Пълно заглавие Correct Hardware Design and Verification Methods
Автор Dominique Borrione, Wolfgang Paul
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2005
Брой страници 414
Баркод 9783540291053
ISBN 3540291059
Код Либристо 01561190
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 1330
Размери 155 x 235 x 24

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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 science > Artificial intelligence
Computing & Information Technology > Computer hardware
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Precursor Chemistry of Advanced Materials Roland A. Fischer / Книга С твърди корици
common.buy 342.84 € 670.54 лв
So...This is Your Life- Mataya Arrow Gaye J. Gompers / Книга С меки корици
common.buy 42.53 € 83.19 лв
Life in the Far West George F. Ruxton / Книга С меки корици
common.buy 18.94 € 37.05 лв
Pointing at the Moon Jay L. Garfield / Книга С меки корици
common.buy 41.50 € 81.17 лв
Adjusting to Globalization Greenaway / Книга С меки корици
common.buy 31.74 € 62.09 лв
Runaway Joyce Case / Книга С меки корици
common.buy 13.52 € 26.44 лв
Mexico Michael Hogan / Книга С меки корици
common.buy 10.27 € 20.08 лв
Tallahassee: A Capital City History Julianne Hare / Книга С меки корици
common.buy 22.09 € 43.20 лв
Punta Gorda Ann M. O'Phelan / Книга С меки корици
common.buy 22.09 € 43.20 лв
Reserve Retirement Reform Beth J. Asch / Книга С меки корици
common.buy 23.69 € 46.34 лв
Elite Tennis Players Handbook to Powerful Muscle Developing Nutrition: Prepare Like the Pros by Escalating Your RMR to Generate More Muscle, Eliminate Joseph Correa / Книга С меки корици
common.buy 22.92 € 44.82 лв
Mastering VMware vSphere 6.7 Nick Marshall / Книга С меки корици
common.buy 45.06 € 88.14 лв
Temporomandibular Disorders Henry A. Gremillion / Книга С меки корици
common.buy 116.72 € 228.28 лв
Tucker and the Big Bad Bully Lynn McCain / Книга С меки корици
common.buy 10.32 € 20.18 лв
Dreamer Delilah Gose / Книга С меки корици
common.buy 15.69 € 30.68 лв
Great Ormond Street Nurse Vanessa Martin / Книга С меки корици
common.buy 17.75 € 34.72 лв
Extempore Speech, How to Acquire and Practice It / Книга С твърди корици
common.buy 65.82 € 128.73 лв
Подготвяме
Style is Eternal Nicole Jenkins / Книга С меки корици
common.buy 34.22 € 66.93 лв
Blow the Trumpet in Zion! Haynes Frederick D. III / Книга С меки корици
common.buy 29.73 € 58.15 лв
Fibrewise Topology I. M. James / Книга С меки корици
common.buy 53.94 € 105.50 лв
Cruel as the Grave Emma Dorothy Eliza Nevitte Southworth / Книга С меки корици
common.buy 17.08 € 33.41 лв
Jailed for Possession Catherine Carstairs / Книга С меки корици
common.buy 39.33 € 76.93 лв
Forming National Identity in Iran Ali Mozaffari / Книга С твърди корици
common.buy 215.94 € 422.35 лв
Central Nervous System Diseases and Inflammation Thomas E. Lane / Книга С твърди корици
common.buy 162.41 € 317.64 лв

Вход

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

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

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

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

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