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

Verification-based software-fault detection

Език Английски езикАнглийски език
Книга С меки корици
Книга Verification-based software-fault detection Christoph David Gladisch
Код Либристо: 01877599
Издателство Karlsruher Institut Fur Technologie, август 2014
Software is used in many safety- and security-critical systems. Software development is, however, an... Цялото описание
? points 92 b
37.86 €
74.05  лв
Външен склад Изпращаме след 8-11 дни

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

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

Vive la France: Sommerliche Getränkegenüsse aus Frankreich Leachim Sachet / Книга С твърди корици
common.buy 21.88 € 42.79 лв
Pozorování ptáků Chris Packham / Книга С твърди корици
common.buy 13.19 € 25.79 лв
Luis Landero - El guitarrista Sabine Husmann / Книга С меки корици
common.buy 17.12 € 33.48 лв
Kombipaket Strafrecht Allgemeiner Teil I Stefan Seiler / Книга С меки корици
common.buy 51.47 € 100.66 лв
The Grammar Tree / Игра/играчка Игра
common.buy 25.50 € 49.87 лв
Oval Elvia Wilk / Книга Книга
common.buy 20.27 € 39.65 лв
Die Osterschildkröte Guido Kasmann / Книга С меки корици
common.buy 8.74 € 17.09 лв
Curso de formación continuada en dolor en pediatr­a MARTIN MATEOS / Книга Книга
common.buy 75.63 € 147.91 лв
UN PHILOSOPHE GREC EN GAULE RISER JEAN / Книга С твърди корици
common.buy 32.69 € 63.94 лв
Muž, co strašnou smůlu měl Martin Pospíšil / Книга С меки корици
common.buy 11.38 € 22.25 лв
Der große Rätselblock. Bd.45 / Книга С меки корици
common.buy 6.15 € 12.03 лв
Game of Thrones - Der Winter naht George Raymond Richard Martin / Книга С твърди корици
common.buy 29.33 € 57.36 лв
ESCRITOS EN LA CALLE Alejandro Guerri / Книга С меки корици
common.buy 19.91 € 38.94 лв
Panikattacken und andere Angststörungen loswerden Klaus Bernhardt / Книга С меки корици
common.buy 18.41 € 36.01 лв
Exposition Historique Et Militaire de la Revolution Et de l'Empire: Catalogue Bapst-G / Книга С меки корици
common.buy 17.43 € 34.09 лв
Orange Line 2 Frank Haß / Книга С твърди корици
common.buy 32.95 € 64.44 лв
Grundzuge Der Praktischen Pharmazie Richard Brieger / Книга С меки корици
common.buy 81.21 € 158.84 лв

Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the detection of software faults (or software "bugs") are described which are based on a formal deductive verification technology. The described techniques take advantage of information obtained during verification and combine verification technology with deductive fault detection and test generation in a very unified way.

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

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

Пълно заглавие Verification-based software-fault detection
Автор Christoph David Gladisch
Език Английски език
Корици Книга - С меки корици
Дата на издаване 2014
Брой страници 292
Баркод 9783866446762
Код Либристо 01877599
Издателство Karlsruher Institut Fur Technologie
Тегло 467
Размери 170 x 244 x 15

Категории

Computing & Information Technology > Information technology: general issues
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Lessons from the Damned Nancy E. Stoller / Книга С меки корици
common.buy 75.21 € 147.10 лв
Ancient Egypt Arthur Gilman / Книга С меки корици
common.buy 30.21 € 59.08 лв
Catholic Question John Edmonds Stock / Книга С меки корици
common.buy 21.26 € 41.57 лв
Investigations into Narrative Structures Christian Todenhagen / Книга С твърди корици
common.buy 109.05 € 213.28 лв
Voices from Exile Victor Montejo / Книга С меки корици
common.buy 29.90 € 58.47 лв
Nevada: A History Robert Laxalt / Книга С меки корици
common.buy 19.65 € 38.44 лв
Wilderness Rivers of Manitoba: Journey by Canoe Through the Land Where the Spirit Lives Stephanie Aykroyd / Книга С меки корици
common.buy 19.65 € 38.44 лв
Stanfield Hall JOHN GILBERT / Книга С меки корици
common.buy 28.34 € 55.44 лв
United States' Grand Strategy Through the Lens of Lebanon in 1983 and Iraq in 2003 U S Army Command and General Staff Coll / Книга С меки корици
common.buy 14.79 € 28.93 лв
How to Draw Kawaii Cute Animals and Characters: Drawing for Kids with Letters Numbers and Shapes: Cartooning for Kids and Learning How to Draw Cute Ka Rachel a Goldstein / Книга С меки корици
common.buy 8.69 € 16.99 лв
Killer Tapes and Shattered Screens Caetlin Benson Allott / Книга С меки корици
common.buy 41.17 € 80.53 лв
Micrographia Restaurata Robert Hooke / Книга С твърди корици
common.buy 30.72 € 60.09 лв
Creating a Cookbook: How to Write, Publish, and Promote Your Culinary Philosophy Amy Riolo / Книга С меки корици
common.buy 19.29 € 37.73 лв
The Annunaki Robert Smith / Книга С меки корици
common.buy 10.34 € 20.23 лв
Top Подготвяме
Orlando Virginia Woolf / Книга С меки корици
common.buy 9.26 € 18.10 лв
6 Full-Length PARCC Grade 7 Math Practice Tests Reza Nazari / Книга С меки корици
common.buy 15.57 € 30.45 лв
Hiding Behind A Mask K. Weikel / Книга С меки корици
common.buy 13.91 € 27.21 лв
Изгодно
Daddy's Home St. Vincent / Аудио Аудио плоча
common.buy 20.07 € 39.25 лв
Warren Buffett's Ground Rules Jeremy Miller / E-книга Adobe ePub DRM
common.buy 12.05 € 23.56 лв
Croatia: Istria: With Rijeka and the Slovenian Adriatic Thammy Evans / Книга С меки корици
common.buy 22.65 € 44.31 лв
NEW DAD JOKES Harding / Книга С меки корици
common.buy 10.65 € 20.83 лв
Letters of Gustave Flaubert Gustave Flaubert / E-книга Adobe ePub DRM
common.buy 25.81 € 50.48 лв
Concepts for Neural Networks Lawrence J. Landau / Книга С меки корици
common.buy 108.58 € 212.36 лв
subalpine lake ecosystem, Ovre Heimdalsvatn, and its catchment: local and global changes over the last 50 years John E. Brittain / Книга С твърди корици
common.buy 162.74 € 318.30 лв

Вход

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

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

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

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

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