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

6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Език Английски езикАнглийски език
Книга С меки корици
Книга 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 125 b
51.74 €
101.19  лв
Външен склад Изпращаме след 5-8 дни

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

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

One Piece - Law (Nippon Novel) Eiichiro Oda / Книга С меки корици
common.buy 9.16 € 17.92 лв
Esqueletos no Armário - Memórias do Filho de um Pastor.- 2?. Ediç?o. Domingo González Jr. Domingo Gonzalez / Книга С меки корици
common.buy 9.94 € 19.44 лв
Mundus Symbolicus In Emblematum Universitate Formatus, Explicatus Et Tam Sacris, Quam Profanis Eruditionibus As Sententiis Illustratus ...... Filippo Picinelli ((C.R.L.)) / Книга С меки корици
common.buy 33.61 € 65.74 лв
INVISIBLE EDICION ILUSTRADA ELOY MORENO / Книга Книга
common.buy 28.79 € 56.32 лв
Vokabelrätsel Ukrainisch-Deutsch Igor Jourist / Книга С меки корици
common.buy 6.68 € 13.06 лв
100 samolepek Tlapková patrola / Книга С меки корици
common.buy 3.78 € 7.39 лв
Wege zur Strafvollzugsreform. Heinz Müller-Dietz / Книга С меки корици
common.buy 45.16 € 88.33 лв
Recht und Politik globaler Sicherheit Andreas Fischer-Lescano / Книга С меки корици
common.buy 51.89 € 101.50 лв
Geschichte der Verfassung der roemischen Republik Nepomuk Fischer / Книга С меки корици
common.buy 17.14 € 33.52 лв
Droit constitutionnel de la Ve République Chabrier Книга С меки корици
common.buy 31.02 € 60.67 лв
Kerbschnitzen Christian Zeppetzauer / Книга С твърди корици
common.buy 23.25 € 45.48 лв
Cochlea-Implantat - mit dem CI leben, hören und sprechen Dorothea Senf / Книга С меки корици
common.buy 9.21 € 18.02 лв
Programa de tutorías: ¿varita mágica o dispositivo institucional? Paola Yanina Fascendini / Книга С меки корици
common.buy 33.04 € 64.62 лв
Patte de Velours Osiris Brackhaus / Книга С меки корици
common.buy 15.74 € 30.79 лв
Radwander- und Wanderkarte Naturpark Unteres Saaletal, Bernburg, Calbe, Köthen und Umgebung Verlag Dr. Barthel / Печатни материали Карта
common.buy 6.68 € 13.06 лв
Filmdidaktik im Deutschunterricht. Zwischen filmischer und literarischer Lekture Alexander Bauerkamper / Книга С меки корици
common.buy 15.27 € 29.87 лв
Mise En Place de Corridors Biologiques Dans Le Scot Flandre-Dunkerque Lemille-M / Книга С меки корици
common.buy 55.26 € 108.08 лв
Estudios en laboratorio de hemostasia en neonatología y obstetricia Diana Noemí García / Книга С меки корици
common.buy 21.49 € 42.03 лв
La Barcelona rebelde : guía de una ciudad silenciada Anónimo / Книга С меки корици
common.buy 25.69 € 50.24 лв
Ciencias sociales, geografía e historia en Secundaria Carmen Llopis / Книга С меки корици
common.buy 21.90 € 42.84 лв
Ženich new / Игра/играчка Играчка
common.buy 10.82 € 21.16 лв
Die Mathe-Merk-Mappe Klasse 8 Renate Bahrenberg / Книга С меки корици
common.buy 9.16 € 17.92 лв

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.

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

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

Пълно заглавие 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 Книгата ще пристигне на адреса на получателя

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

Immobilized Catalysts Andreas Kirschning / Книга С меки корици
common.buy 308.86 € 604.07 лв
New Trends in Nonlinear Dynamics and Control, and their Applications W. Kang / Книга С меки корици
common.buy 154.56 € 302.28 лв
The Problems of Philosophy Bertrand Russell / Книга С меки корици
common.buy 11.80 € 23.09 лв
Trans Exploits Jian Neo Chen / Книга С меки корици
common.buy 33.71 € 65.94 лв
Call on Me Jenifer C. Gamber / Книга С меки корици
common.buy 19.47 € 38.08 лв
Caesars' Wives Annelise Freisenbruch / Книга С меки корици
common.buy 20.35 € 39.80 лв
Scholastic Learning Express L2 Mathematics Scholastic Inc. / Книга С меки корици
common.buy 9.37 € 18.33 лв
The New Jersey Turnpike Michael Lapolla / Книга С меки корици
common.buy 22.11 € 43.25 лв
Nuclear Energy: Power from the Atom Troon Harrison Adams / Книга С твърди корици
common.buy 23.56 € 46.08 лв
Our Good Father: Seeing God Through the Eyes of Jesus Pierre Eade / Книга С меки корици
common.buy 16.67 € 32.61 лв
365 Worksheets - Adding Place Value Commas to 4 Digit Numbers: Math Practice Workbook Kapoo Stem / Книга С меки корици
common.buy 14.86 € 29.06 лв
Computational Neuroscience Winston Ordazzo / Книга С меки корици
common.buy 50.91 € 99.57 лв
Re-figuring the Ramayana as Theology Rao / Книга С меки корици
common.buy 75.10 € 146.88 лв
Body in the Casket Katherine Hallpage / Книга С меки корици
common.buy 9.37 € 18.33 лв
Shakespeare's 'Whores' K. Stanton / Книга С меки корици
common.buy 86.96 € 170.08 лв
The Sand Castle of Dreams Tullip Studio / Книга С меки корици
common.buy 14.86 € 29.06 лв
Notes On Military Surveying And Reconnaissance (1882) William Paterson / Книга С меки корици
common.buy 26.00 € 50.85 лв
Dog Training Smackdown Micah Jack / Книга С меки корици
common.buy 15.74 € 30.79 лв
Sloth Bear Luxshmanan Nadaraja / Книга С твърди корици
common.buy 39.98 € 78.20 лв
That Last Love Letter: Poetry, Photography & Art Doris Jones / Книга С меки корици
common.buy 13.10 € 25.62 лв
Mask Making Techniques McClung / Книга С меки корици
common.buy 60.44 € 118.21 лв
Data Analytics and Visualization in Quality Analysis using Tableau Hwang / Книга С меки корици
common.buy 72.20 € 141.21 лв
Top
Unlock Level 4 Listening, Speaking and Critical Thinking Student's Book with Digital Pack Lewis Lansford / Книга С меки корици
common.buy 20.14 € 39.40 лв
Lighthouses William John Hardy / Книга С меки корици
common.buy 19.37 € 37.88 лв

Вход

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

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

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

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

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