Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Verification-based software-fault detection

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Verification-based software-fault detection Christoph David Gladisch
Libristo kód: 01877599
Nakladateľstvo Karlsruher Institut Fur Technologie, august 2014
Software is used in many safety- and security-critical systems. Software development is, however, an... Celý popis
? points 86 b
35.30 €
Skladom u dodávateľa Odosielame za 8-11 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Pozorování ptáků Chris Packham / Kniha Pevná
common.buy 12.00 €
Die Osterschildkröte Guido Kasmann / Kniha Brožovaná
common.buy 8.19 €
Elmar und seine Freunde, deutsch-spanisch. Elmer y sus amigos David McKee / Kniha Leporelo
common.buy 8.59 €
Luis Landero - El guitarrista Sabine Husmann / Kniha Brožovaná
common.buy 16.00 €
Sputnik. Bd.4 / Kniha List
common.buy 12.60 €
Insultario veneto-italiano. Insulti, parolacce, imprecazioni, modi di dire poco gentili e vilipendi vari Marialetizia Pivato / Kniha Kniha
common.buy 8.29 €
Lector electrónico rentable Muhammad Zeeshan / Kniha Brožovaná
common.buy 31.70 €
Kombipaket Strafrecht Allgemeiner Teil I Stefan Seiler / Kniha Brožovaná
common.buy 53.91 €
Top
Guziki i koronka. Księga 1. Wersja ukraińska/ Ґудзики та мереживо (кн 1) Penelope Sky / Kniha Pevná
common.buy 11.29 €
Mordet pa Bromma gymnasium Sundelin / Audiokniha MP3
common.buy 3.09 €
Vive la France: Sommerliche Getränkegenüsse aus Frankreich Leachim Sachet / Kniha Pevná
common.buy 20.40 €
The Grammar Tree / Hra/Hračka Hra
common.buy 24.00 €
Bethany a netvor Pomsta je sladká Jack Meggitt-Phillips / Kniha Pevná
common.buy 9.49 €
Oval Elvia Wilk / Kniha Kniha
common.buy 18.80 €
Curso de formación continuada en dolor en pediatr­a MARTIN MATEOS / Kniha Kniha
common.buy 71.52 €
UN PHILOSOPHE GREC EN GAULE RISER JEAN / Kniha Pevná
common.buy 35.80 €
Der große Rätselblock. Bd.45 / Kniha Brožovaná
common.buy 5.59 €
Game of Thrones - Der Winter naht George Raymond Richard Martin / Kniha Pevná
common.buy 25.70 €
Muž, co strašnou smůlu měl Martin Pospíšil / Kniha Brožovaná
common.buy 11.49 €
Les Actrices Du Theatre de la Porte Saint-Martin SANS AUTEUR / Kniha Brožovaná
common.buy 12.00 €
ESCRITOS EN LA CALLE Alejandro Guerri / Kniha Brožovaná
common.buy 18.70 €
Panikattacken und andere Angststörungen loswerden Klaus Bernhardt / Kniha Brožovaná
common.buy 19.70 €
Exposition Historique Et Militaire de la Revolution Et de l'Empire: Catalogue Bapst-G / Kniha Brožovaná
common.buy 15.70 €
Orange Line 2 Frank Haß / Kniha Pevná
common.buy 31.10 €

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.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Verification-based software-fault detection
Autor Christoph David Gladisch
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2014
Počet strán 292
EAN 9783866446762
Libristo kód 01877599
Nakladateľstvo Karlsruher Institut Fur Technologie
Váha 467
Rozmery 170 x 244 x 15

Kategórie

Výpočtové a informačné technológie > Informačné technológie: všeobecné témy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Lessons from the Damned Nancy E. Stoller / Kniha Brožovaná
common.buy 74.02 €
Micrographia Restaurata Robert Hooke / Kniha Pevná
common.buy 28.90 €
St. Beetha's; Or, the Heiress of Arne. Emma Jane Worboise / Kniha Brožovaná
common.buy 28.00 €
Book of Peace Dawn Katar / Kniha Pevná
common.buy 30.10 €
Medicine Mamie Ed D Smith / Kniha Brožovaná
common.buy 14.80 €
Investigations into Narrative Structures Christian Todenhagen / Kniha Pevná
common.buy 102.33 €
Voices from Exile Victor Montejo / Kniha Brožovaná
common.buy 28.40 €
Nevada: A History Robert Laxalt / Kniha Brožovaná
common.buy 17.90 €
Wilderness Rivers of Manitoba: Journey by Canoe Through the Land Where the Spirit Lives Stephanie Aykroyd / Kniha Brožovaná
common.buy 17.90 €
Stanfield Hall JOHN GILBERT / Kniha Brožovaná
common.buy 26.50 €
United States' Grand Strategy Through the Lens of Lebanon in 1983 and Iraq in 2003 U S Army Command and General Staff Coll / Kniha Brožovaná
common.buy 13.90 €
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 / Kniha Brožovaná
common.buy 8.09 €
Dracula's America: Shadows of the West: Forbidden Power Jonathan Haythornthwaite / Kniha Brožovaná
common.buy 15.80 €
Ancient Egypt Arthur Gilman / Kniha Brožovaná
common.buy 28.20 €
Killer Tapes and Shattered Screens Caetlin Benson Allott / Kniha Brožovaná
common.buy 36.41 €
Creating a Cookbook: How to Write, Publish, and Promote Your Culinary Philosophy Amy Riolo / Kniha Brožovaná
common.buy 18.10 €
The Annunaki Robert Smith / Kniha Brožovaná
common.buy 9.69 €
Orlando Virginia Woolf / Kniha Brožovaná
common.buy 9.19 €
6 Full-Length PARCC Grade 7 Math Practice Tests Reza Nazari / Kniha Brožovaná
common.buy 14.70 €
Hiding Behind A Mask K. Weikel / Kniha Brožovaná
common.buy 13.10 €
How to Become an Entrepreneur in a Week – The Value of 7–Day Entrepreneurship Courses Lise Aaboen / Kniha Pevná
common.buy 141.75 €
Lacno
Daddy's Home St. Vincent / Audio Audio vinyl
common.buy 12.19 €
Horses of Lost Valley Aileen Kilgore Henderson / E-kniha Adobe ePub DRM
common.buy 4.59 €
Warren Buffett's Ground Rules Jeremy Miller / E-kniha Adobe ePub DRM
common.buy 11.39 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

Nemáte účet? Získajte výhody Libristo účtu!

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?