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

Formal System Verification

State-of the-Art and Future Trends

Език Английски езикАнглийски език
Книга С меки корици
Книга Formal System Verification Rolf Drechsler
Код Либристо: 20153455
Издателство Springer International Publishing AG, август 2018
This book provides readers with a comprehensive introduction to the formal verification of hardware... Цялото описание
? points 315 b
130.23 €
254.71  лв
Външен склад Изпращаме след 5-8 дни

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

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

LIGA DE LA JUSTICIA NUM. 78/23 (RENACIMIENTO) Priest / Книга С меки корици
common.buy 6.25 € 12.23 лв
Casos prácticos de ingeniería financiera / Книга С меки корици
common.buy 93.15 € 182.18 лв
Moja i twoja astrologia. Jak zrozumieć i poprawić relacje z innymi dzięki znakom zodiaku wyd. 2022 Gary Goldschneider / Книга С твърди корици
common.buy 14.68 € 28.72 лв
L'aventure spirituelle des sociétés initiatiques - des origines jusqu'à nos jours Caradeau / Книга С меки корици
common.buy 31.44 € 61.49 лв
Unverloren Susanne Katzenberg / Книга С твърди корици
common.buy 26.84 € 52.49 лв
Buzzsaw Joint Cut 05+06 / Аудио Аудио компактдиск
common.buy 19.86 € 38.83 лв
Memoires, 1706-1742. Tome 1 WILHELMINE FRIEDERIK / Книга С меки корици
common.buy 27.25 € 53.30 лв
The Baby's Bouquet (Traditional Chinese): 02 Zhuyin Fuhao (Bopomofo) Paperback Color H y Xiao Phd / Книга С меки корици
common.buy 33.67 € 65.84 лв
Praktische Grundzuge der Gynakologie Rheinhard Hermann Rheinhard / Книга С меки корици
common.buy 28.34 € 55.42 лв
Unverschmerzt Dietmar Albrecht / Книга С меки корици
common.buy 22.18 € 43.39 лв
La Traduction conomique Alice Beuchat / Книга С меки корици
common.buy 47.11 € 92.15 лв
Tanz und Tod in Kunst und Literatur. Franz Link / Книга С меки корици
common.buy 138.97 € 271.80 лв
Das UNESCO- Weltkulturerbe "Stelling van Amsterdam". Julia Seelig / Книга С твърди корици
common.buy 32.22 € 63.01 лв

This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of formal proof techniques show the latest developments starting from electronic system level (ESL) descriptions down to the register transfer level (RTL).

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

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

Пълно заглавие Formal System Verification
Автор Rolf Drechsler
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2018
Брой страници 182
Баркод 9783319862231
ISBN 9783319862231
Код Либристо 20153455
Издателство Springer International Publishing AG
Тегло 454
Размери 155 x 235 x 12

Категории

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Electronics: circuits & components
Computing & Information Technology > Computer science > Computer architecture & logic design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

The Boy Who Invented Television Schatzkin / Книга С меки корици
common.buy 22.29 € 43.59 лв
Grandfather's Lessons Jacques Paepin / Книга С твърди корици
common.buy 24.92 € 48.75 лв
Classical Remix For The Recorder CARTER / Книга С меки корици
common.buy 12.10 € 23.66 лв
Physical Review, Volume 5 Cornell University / Книга С меки корици
common.buy 25.18 € 49.25 лв
Secret History of the Mongol Queens Jack Weatherford / E-книга Adobe ePub DRM
common.buy 17.27 € 33.78 лв
Unlocking the Golden Handcuffs: Leaving the Public Service for Work You Really Love Lewis S Eisen / Книга С меки корици
common.buy 10.60 € 20.73 лв
Top
Animal Orchestra Plays Tchaikovsky Sam Taplin / Книга Дипляна
common.buy 14.84 € 29.02 лв
Electricity For The Farm Frederick Irving Anderson / Книга С меки корици
common.buy 23.68 € 46.32 лв
Economic Growth Theory Wei-Bin Zhang / Книга С меки корици
common.buy 69.15 € 135.24 лв
The Beard Nest Jeff Robison / Книга С твърди корици
common.buy 22.29 € 43.59 лв
Into Starry Outer Space Vivian Mineker / Книга Дипляна
common.buy 13.75 € 26.90 лв
Octopus Pie Volume 5 Meredith Gran / Книга С меки корици
common.buy 18.36 € 35.90 лв
Differentiation and Integration BOLTON / Книга С твърди корици
common.buy 188.36 € 368.41 лв
Who Am I? Rev. Pablo Arocha / Книга С меки корици
common.buy 11.37 € 22.24 лв
Basic Microbiology for Drinking Water Dennis Hill / Книга С меки корици
common.buy 114.30 € 223.55 лв
Cambridge Primary Path Level 6 Student's Book with My Creative Journal, Cue Cards and eBook Susannah Reed / Книга С меки корици
common.buy 46.65 € 91.23 лв
Dalmatian Training Vol 3 - Taking care of your Dalmatian: Nutrition, common diseases and general care of your Dalmatian Claudia Kaiser / E-книга Adobe ePub DRM
common.buy 5.22 € 10.21 лв
Wives without Husbands Anna R. Igra / Книга С меки корици
common.buy 44.06 € 86.18 лв
Education of Historians for Twenty-first Century Thomas Bender / Книга С меки корици
common.buy 29.11 € 56.94 лв
Media in Question Kees Brants / Книга С твърди корици
common.buy 131.57 € 257.34 лв
Theory of Optical Processes in Semiconductors Prasanta Kumar Basu / Книга С твърди корици
common.buy 280.07 € 547.76 лв
Cross-border Oil and Gas Pipelines and the Role of the Transit Country James Omonbude / Книга С твърди корици
common.buy 61.08 € 119.46 лв

Вход

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

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

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

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

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