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

Hardware and Software: Verification and Testing

Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings

Език Английски езикАнглийски език
Книга С меки корици
Книга Hardware and Software: Verification and Testing Karen Yorav
Код Либристо: 01569878
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, февруари 2008
This book constitutes the thoroughly refereed post-conference proceedings of the Third International... Цялото описание
? points 148 b
60.96 €
119.24  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

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

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

La esforzada reelaboración del saber : repertorios médicos de interés lexicográfico anteriores a la imprenta Bertha M. Gutiérrez Rodilla / Книга С меки корици
common.buy 27.61 € 54.01 лв
Espacio público y espacio privado / Книга С меки корици
common.buy 23.59 € 46.13 лв
Trois Livres Des Offices de France. Livre 3 Girard-E / Книга С меки корици
common.buy 59.67 € 116.71 лв
Ostwind 06 - Der große Orkan Lea Schmidbauer / Книга С твърди корици
common.buy 13.83 € 27.05 лв
amerikanische Kino in Zeiten politischer Verfolgung Viktor Gasic / Книга С меки корици
common.buy 26.48 € 51.79 лв
Žiješ jenom dvakrát Dominik Dán / Книга С твърди корици
common.buy 13.16 € 25.74 лв
Diktat-Stars - Allgemeine Ausgabe - 3. Schuljahr Maria Auer / Книга Лист
common.buy 9.34 € 18.27 лв
Augenblicke des Daseins. Autobiographische Skizzen Virginia Woolf / Книга С твърди корици
common.buy 23.85 € 46.64 лв
Au nom de tous nos dieux Deloges / Книга С меки корици
common.buy 24.10 € 47.14 лв

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Haifa Verification Conference, HVC 2007, held in Haifa, Israel, in October 2007.§The 15 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 32 submissions. The papers are organized in topical tracks on hardware verification, model checking, dynamic hardware verification, merging formal and testing, formal verification for software and software testing.

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

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

Пълно заглавие Hardware and Software: Verification and Testing
Автор Karen Yorav
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2008
Брой страници 267
Баркод 9783540779643
ISBN 3540779647
Код Либристо 01569878
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 444
Размери 155 x 235 x 240

Категории

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Подготвяме
Film Genre Book John Sanders / Книга С твърди корици
common.buy 125.24 € 244.94 лв
Babylonian Expedition of the University of Pennsylvania The Babylonian Expedition / Книга С твърди корици
common.buy 44.86 € 87.73 лв
Functional Equations and Inequalities with Applications Pl Kannappan / Книга С меки корици
common.buy 324.51 € 634.69 лв
GRAMMAR-SCHOOL ARITHMETIC INCLUDING EASY JOHN HENRY WALSH / Книга С твърди корици
common.buy 38.20 € 74.71 лв
Dungeons & Dragons: Honor Among Thieves: The Druid's Call E.K Johnston / Книга С меки корици
common.buy 10.37 € 20.29 лв
Bruce Lee Enter the Dragon Scrapbook Sequences Vol 6 Rick Baker / Книга С меки корици
common.buy 25.03 € 48.96 лв
Smell and the Past William Tullett / Книга С твърди корици
common.buy 127.15 € 248.68 лв
Bowling Narragansett Machine Company (Provide / Книга С меки корици
common.buy 14.55 € 28.46 лв
Aimless Life Andrew Offenburger / Книга С меки корици
common.buy 15.74 € 30.79 лв
Internet of Things Scott J. Shackelford / Книга С меки корици
common.buy 13.52 € 26.44 лв
Northanger Abbey - Large Print Edition Jane Austen / Книга С меки корици
common.buy 16.57 € 32.40 лв
Infonomics Douglas B Laney / Книга С твърди корици
common.buy 37.84 € 74.00 лв
Little Course in Sewing Various / Книга С твърди корици
common.buy 14.86 € 29.07 лв
Modern Romance Short Stories Sherrie Lynn / Книга С меки корици
common.buy 9.39 € 18.37 лв
Genus Utricularia P. G. Taylor / Книга С меки корици
common.buy 71.08 € 139.03 лв
Abdominoplasty, An Issue of Clinics in Plastic Surgery Al S Aly / Книга С твърди корици
common.buy 95.66 € 187.09 лв
Genetic Algorithms and Application in Examination Scheduling Dang Xuan Tho / Книга С меки корици
common.buy 40.52 € 79.25 лв
Case Studies In Organizational Behavior And Theory For Health Care Borkowski / Книга С меки корици
common.buy 98.65 € 192.94 лв

Вход

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

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

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

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

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