[email protected]
LIBRISTO 0
Безплатна доставка със Еконт над 129 лв
Speedy office 11.00 лв Speedy 13.00 лв ЕКОНТ 6.00 лв Еконтомат/Офис на Еконт 6.00 лв Box Now 6.00 лв
phone Контакт phoneКак се пазарува?

Hardware and Software: Verification and Testing

Език Английски езикАнглийски език
Книга С меки корици
Книга Hardware and Software: Verification and Testing Sharon Barner
Код Либристо: 01657535
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, март 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International H... Цялото описание
? points 164 b
127.96 лв
Външен склад в ограничено количество Изпращаме след 13-16 дни

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

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

РАЗПРОДАЖБА
Šimonovy pracovní listy 21 Eduard Světlík / С меки корици
common.buy 9.35 лв
Kerbschnitzen Christian Zeppetzauer / С твърди корици
common.buy 40.16 лв
Dirichlet's Principle, Conformal Mapping, and Minimal Surfaces Richard Courant / С меки корици
common.buy 35.33 лв
Lonely Planet Mediterranean Europe / С меки корици
common.buy 58.79 лв
New Trends in Nonlinear Dynamics and Control, and their Applications W. Kang / С меки корици
common.buy 388.03 лв
Bauchnabelfussel Pelle Lotterby / С меки корици
common.buy 46.71 лв
Radwander- und Wanderkarte Naturpark Unteres Saaletal, Bernburg, Calbe, Köthen und Umgebung / Карта
common.buy 14.49 лв
Wege zur Strafvollzugsreform. Heinz Müller-Dietz / С меки корици
common.buy 88.69 лв
Recht und Politik globaler Sicherheit Andreas Fischer-Lescano / С меки корици
common.buy 101.88 лв
Geschichte der Verfassung der roemischen Republik Nepomuk Fischer / С меки корици
common.buy 78.62 лв
Mise En Place de Corridors Biologiques Dans Le Scot Flandre-Dunkerque Lemille-M / С меки корици
common.buy 147.90 лв
Advanced Structural Dynamics and Active Control of Structures Wodek K. Gawronski / С твърди корици
common.buy 568.96 лв
Cochlea-Implantat - mit dem CI leben, hören und sprechen Dorothea Senf / С меки корици
common.buy 19.93 лв

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010.§The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.

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

Пълно заглавие Hardware and Software: Verification and Testing
Автор Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2011
Брой страници 197
Баркод 9783642195822
ISBN 3642195822
Код Либристо 01657535
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 326
Размери 155 x 235 x 12

Категории

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

Вход

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

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

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

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

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