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

IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Correct Hardware Design and Verification Methods Paolo Enrico Camurati
Код Либристо: 05274512
Издателство Springer, Berlin, ноември 1994
This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conferen... Цялото описание
? points 132 b
54.53 €
106.65  лв
Външен склад Изпращаме след 5-8 дни

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

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

de la Cession de Droits Successifs Et de Ses Effets En Droit Romain Et En Droit Francais SAIGNAT-L / Книга С меки корици
common.buy 17.46 € 34.16 лв
Anfangsgründe der theoretischen und angewandten Naturgeschichte der Tiere. Tl.4/2 Georg A. Suckow / Книга С меки корици
common.buy 47.22 € 92.36 лв
MORIARTY EL PATRIOTA 3 TAKEUCHI / Книга Книга
common.buy 9.79 € 19.15 лв
Neuartige 4-Heteroaryl-Antipyrine als DPP-IV-Inhibitoren Mohamed Abdalla / Книга С меки корици
common.buy 34.11 € 66.70 лв
Introduction à une histoire naturelle Claude Allègre / Книга Книга
common.buy 31.77 € 62.14 лв
Wild Day at the Zoo / Egun Zoroa Zooan - Basque Edition Victor Dias de Oliveira Santos / Книга С твърди корици
common.buy 18.76 € 36.69 лв
ME ENAMORE DE LA VILLANA 3 INORI / Книга Книга
common.buy 10.73 € 20.98 лв
Verbesserung der Diagnosefahigkeit bei Rechenschwache durch Erprobung des informellen Diagnoseverfahrens DUEMA am Beispiel einer Foerdergruppe Stefanie Hiller / Книга С меки корици
common.buy 26.59 € 52.00 лв
La prometida JHANSIR JACKSON PAEZ BLOOM / Книга Книга
common.buy 16.58 € 32.43 лв
Boxer and Brandon KIDKIDDOS BOOKS / Книга С твърди корици
common.buy 26.07 € 50.99 лв
Proces Complet de M. de Pradt, Ancien Archeveque de Malines MORET-P / Книга С меки корици
common.buy 21.30 € 41.66 лв
La cocina andaluza Guadalquivir arriba Francisco Casas Delgado / Книга С меки корици
common.buy 19.12 € 37.40 лв
Souvenirs de Voyages Aux Pyrenees, En Italie Et En Espagne Vervel-M / Книга С меки корици
common.buy 20.32 € 39.73 лв
Die drei ??? und die Poker-Hölle, 1 Audio-CD Oliver Rohrbeck / Аудио Аудио компактдиск
common.buy 12.64 € 24.73 лв
Einsterns Schwester - Sprache und Lesen - Zu allen Ausgaben - 3./4. Schuljahr Roland Bauer / Игра/играчка Играчка
common.buy 10.47 € 20.47 лв
Die behördliche Genehmigung im strafrechtlichen Deliktsaufbau. Steffen Fortun / Книга С меки корици
common.buy 59.82 € 116.99 лв
'Nur für Anfänger' - Klassische Gitarre (inkl. CD) Gerald Goodwin / Книга С меки корици
common.buy 16.79 € 32.84 лв

This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARME '95, held in Frankfurt, Germany, in October 1995.The 20 revised full papers presented were carefullyselected by the program committee and address all current aspects of research and advanced applications in the field of formal verification of hardware. Among the topics covered are model checking, theorem proving, formally verified synthesis, process algebras, finite state systems, verification environments, language containment, and VHDL.

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

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

Пълно заглавие Correct Hardware Design and Verification Methods
Автор Paolo Enrico Camurati, Hans Eveking
Език Английски език
Корици Книга - С меки корици
Дата на издаване 1995
Брой страници 346
Баркод 9783540603856
ISBN 3540603859
Код Либристо 05274512
Издателство Springer, Berlin
Тегло 478
Размери 155 x 233 x 18

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Databases > Distributed databases
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer networking & communications
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Numicon: Investigations with Numicon Teaching Book Matthew Mills / Книга Със спирала
common.buy 67.28 € 131.59 лв
Puppy Birthday to You! (Paw Patrol) Golden Books / Книга С твърди корици
common.buy 4.76 € 9.32 лв
Tranquility, Solitude, and Other Poems Karen Lee Oliver / Книга С твърди корици
common.buy 26.43 € 51.70 лв
Life Under The Jolly Roger Gabriel Kuhn / Книга С меки корици
common.buy 15.81 € 30.91 лв
Three Wise Men from the East PATRICK WHITWORTH / Книга С твърди корици
common.buy 30.94 € 60.52 лв
Communication Gregory Bateson / Книга С меки корици
common.buy 73.30 € 143.35 лв
Art in Belfast 1760-1880 Eileen Black / Книга С меки корици
common.buy 74.90 € 146.50 лв
Migration and the Slums Growth Sangay Tamang / Книга С меки корици
common.buy 37.84 € 74.00 лв
Delphinus Anita Marasco Maier / Книга С меки корици
common.buy 9.90 € 19.35 лв
Impact of War on Federal Personnel Administration Gladys M Kammerer / Книга С меки корици
common.buy 34.21 € 66.91 лв
Exam Prep for The Economic Way of Thinking by Heyne, Boettke, Prychitko, 11th Ed. Boettke Prychitko Heyne / Книга С меки корици
common.buy 38.98 € 76.23 лв
Foundations of C++/CLI Gordon Hogenson / Книга С меки корици
common.buy 69.36 € 135.65 лв
Advanced Computing and Systems for Security Rituparna Chaki / Книга С меки корици
common.buy 54.53 € 106.65 лв
What Is Symmetry in Nature? Bobbie Kalman / Книга С твърди корици
common.buy 24.62 € 48.15 лв
What Could Possibly Go Wrong?: The Chronicles of St. Mary's Book Six Jodi Taylor / Книга С меки корици
common.buy 13.63 € 26.65 лв
The Valley's Legends & Legacies IV Catherine Morison Rehart / Книга С меки корици
common.buy 21.72 € 42.47 лв
Crooked House Agatha Christie / Книга С твърди корици
common.buy 25.24 € 49.37 лв
English Verse Edward Leeson / Аудио Аудио компактдиск
common.buy 14.56 € 28.48 лв
Feminist Inquiry M.E. Hawkesworth / Книга С меки корици
common.buy 35.61 € 69.64 лв
All the Finer Things Stephanie Connelley Worlton / Книга С меки корици
common.buy 13.11 € 25.64 лв
Area 51 Nick Redfern / Книга С меки корици
common.buy 37.84 € 74.00 лв
Carve the Mark 2-Book Paperback Box Set Veronica Roth / Книга С меки корици
common.buy 39.70 € 77.65 лв
One Immigrant in a World of Many ANDREA BERM DEZ / Книга С меки корици
common.buy 18.40 € 35.98 лв
Oil Palm Jonathan E. Robins / Книга С меки корици
common.buy 38.93 € 76.13 лв

Вход

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

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

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

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

Създаване на акаунт за Libristo