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

5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Език Английски езикАнглийски език
Книга С меки корици
Книга Hardware and Software: Verification and Testing Kedar Namjoshi
Код Либристо: 01657444
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, февруари 2011
This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verifi... Цялото описание
? points 148 b
61.15 €
119.61  лв
Външен склад в ограничено количество Изпращаме след 13-18 дни

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

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

Praparationsmethodik in Der Elektronenmikroskopie David G. Robinson / Книга С меки корици
common.buy 79.64 € 155.76 лв
Methoden zur Bewertung von Kraftfahrzeugscheinwerfern Thomas Dahlem / Книга С меки корици
common.buy 61.88 € 121.02 лв
Segregator A4 Bantex PP XXL 8cm niebieski / Книга binding.
common.buy 3.05 € 5.97 лв
A Paranormal Evening With The Moonflower Society Avantasia / Аудио Аудио компактдиск
common.buy 100.30 € 196.18 лв
Denkriesen - Stadt Land Vollpfosten® - School Edition Ricardo Barreto / Игра/играчка Игра
common.buy 13.72 € 26.83 лв
Je zygota lidskou osobou? Pascal Ide / Книга С меки корици
common.buy 7.50 € 14.68 лв
Phraseologisches Übersetzungswörterbuch Deutsch-Serbisch/Serbisch-Deutsch Prevodni frazeoloSki recnik Nemacko-srpski/Srpsko-nemacki Nikola Vujcic / Книга С меки корици
common.buy 67.78 € 132.57 лв
Au dodo, p'tit loup ! Lallemand / Книга С твърди корици
common.buy 23.35 € 45.67 лв
Souvenirs Atlantiques: Voyage Aux États-Unis Et Au Canada; Volume 1 Theodore Marie Pavie / Книга С твърди корици
common.buy 36.40 € 71.19 лв
Mein Zweisprachiges Aufdeckspiel, Obst und Gemüse, Russisch Tolga Celik / Игра/играчка Игра
common.buy 15.43 € 30.17 лв
Handbuch Dieselmotoren im Kraftwerks- und Schiffsbetrieb Günter Mau / Книга С меки корици
common.buy 86.42 € 169.03 лв
Poemas para barrocos Cristina Daneri Ferrari / Книга С меки корици
common.buy 17.91 € 35.03 лв

This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing).

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

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

Пълно заглавие Hardware and Software: Verification and Testing
Автор Kedar Namjoshi, Andreas Zeller, Avi Ziv
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2011
Брой страници 169
Баркод 9783642192364
ISBN 364219236X
Код Либристо 01657444
Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Тегло 273
Размери 155 x 235 x 15

Категории

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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 Книгата ще пристигне на адреса на получателя

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

Enabling Flexibility in Process-Aware Information Systems Manfred Reichert / Книга С твърди корици
common.buy 54.47 € 106.54 лв
Exploring Public-Private Partnerships in Singapore Kim / Книга С твърди корици
common.buy 77.36 € 151.31 лв
Diabolically Detailed Coloring Book (Volume 10) H R Wallace Publishing / Книга С меки корици
common.buy 8.64 € 16.90 лв
Seven Imperfect Rules of Elvira Carr Frances Maynard / Книга С меки корици
common.buy 12.68 € 24.80 лв
Hints to an Inquirer on the Subject of Baptism PARSONS COOKE / Книга С меки корици
common.buy 23.04 € 45.06 лв
Ministry of Fine Art to the Happiness of Life Parry Thomas Gambier Parry / Книга С меки корици
common.buy 29.36 € 57.42 лв
Power Of Your Subconscious Mind (revised) Joseph Murphy/ Revised By Ian McMahan / Книга С меки корици
common.buy 10.40 € 20.35 лв
Top
Dracopedia Field Guide William O'Connor / Книга С твърди корици
common.buy 23.61 € 46.18 лв
Slumber Party Sparkles Jojo Siwa / Книга С меки корици
common.buy 8.80 € 17.21 лв
I Want a Boyfriend! Tony Ross / Книга С меки корици
common.buy 8.95 € 17.51 лв
Advanced Mobile Robotics Daeeun Kim / Книга С меки корици
common.buy 87.05 € 170.25 лв
The Patchouli in perfumery Le collectif nez / Книга С меки корици
common.buy 22.78 € 44.55 лв
Top
Brain Games - Sticker by Number - Vintage: Flowers (28 Images to Sticker) New Seasons / Книга С меки корици
common.buy 13.30 € 26.02 лв
Top
Powerless Lauren Roberts / Книга С меки корици
common.buy 9.78 € 19.13 лв
Ultimate Guide to Sewing Machine Feet Shelley Scott-Tobisch / Книга С меки корици
common.buy 23.71 € 46.38 лв
Exploring Sinophone Liminality in Contemporary Chinese Fiction Chao / Книга С твърди корици
common.buy 209.36 € 409.48 лв
Illustrated Encyclopaedic Medical Dictionary Frank Pierce Foster / Книга С твърди корици
common.buy 45.82 € 89.63 лв
Road to Mound Grove Betty B Cantwell / Книга С меки корици
common.buy 16.31 € 31.89 лв
Top
Go Programming Language, The Alan Donovan / Книга С меки корици
common.buy 42.56 € 83.25 лв
Combinatory Linguistics Cem Bozsahin / Книга С твърди корици
common.buy 151.73 € 296.75 лв
Low-Power Crystal and MEMS Oscillators Eric Vittoz / Книга С твърди корици
common.buy 222.21 € 434.60 лв
Top
The Adhd Effect on Marriage Melissa Orlov / Книга С меки корици
common.buy 17.24 € 33.72 лв
Naples and Napoleon John A. Davis / Книга С твърди корици
common.buy 235.93 € 461.44 лв

Вход

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

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

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

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

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