Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verification-based software-fault detection

Język AngielskiAngielski
Książka Miękka
Książka Verification-based software-fault detection Christoph David Gladisch
Kod Libristo: 01877599
Wydawnictwo Karlsruher Institut Fur Technologie, sierpień 2014
Software is used in many safety- and security-critical systems. Software development is, however, an... Cały opis
? points 87 b
152.16 zł
Dostępna u dostawcy Wysyłamy za 8-11 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Vive la France: Sommerliche Getränkegenüsse aus Frankreich Leachim Sachet / Książka Twarda
common.buy 87.96 zł
Pozorování ptáků Chris Packham / Książka Twarda
common.buy 49.97 zł
Luis Landero - El guitarrista Sabine Husmann / Książka Miękka
common.buy 68.92 zł
Kombipaket Strafrecht Allgemeiner Teil I Stefan Seiler / Książka Miękka
common.buy 207.38 zł
The Grammar Tree / Gra/Zabawka Gra
common.buy 103.38 zł
Oval Elvia Wilk / Książka Książka
common.buy 78.29 zł
Die Osterschildkröte Guido Kasmann / Książka Miękka
common.buy 35.36 zł
Curso de formación continuada en dolor en pediatr­a MARTIN MATEOS / Książka Książka
common.buy 307.96 zł
UN PHILOSOPHE GREC EN GAULE RISER JEAN / Książka Twarda
common.buy 133.72 zł
Muž, co strašnou smůlu měl Martin Pospíšil / Książka Miękka
common.buy 45.74 zł
Der große Rätselblock. Bd.45 / Książka Miękka
common.buy 24.98 zł
Game of Thrones - Der Winter naht George Raymond Richard Martin / Książka Twarda
common.buy 117.69 zł
ESCRITOS EN LA CALLE Alejandro Guerri / Książka Miękka
common.buy 80.71 zł
Panikattacken und andere Angststörungen loswerden Klaus Bernhardt / Książka Miękka
common.buy 74.06 zł
Exposition Historique Et Militaire de la Revolution Et de l'Empire: Catalogue Bapst-G / Książka Miękka
common.buy 74.26 zł
Orange Line 2 Frank Haß / Książka Twarda
common.buy 133.72 zł
Grundzuge Der Praktischen Pharmazie Richard Brieger / Książka Miękka
common.buy 327.91 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Verification-based software-fault detection
Autor Christoph David Gladisch
Język Angielski
Oprawa Książka - Miękka
Data wydania 2014
Liczba stron 292
EAN 9783866446762
Kod Libristo 01877599
Wydawnictwo Karlsruher Institut Fur Technologie
Waga 467
Wymiary 170 x 244 x 15

Kategoria

Informatyka i technologie informacyjne (IT) > Technologia informacyjna (IT) – zagadnienia ogólne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Lessons from the Damned Nancy E. Stoller / Książka Miękka
common.buy 320.15 zł
Ancient Egypt Arthur Gilman / Książka Miękka
common.buy 121.52 zł
Catholic Question John Edmonds Stock / Książka Miękka
common.buy 90.38 zł
Investigations into Narrative Structures Christian Todenhagen / Książka Twarda
common.buy 440.78 zł
Voices from Exile Victor Montejo / Książka Miękka
common.buy 127.17 zł
Nevada: A History Robert Laxalt / Książka Miękka
common.buy 79.10 zł
Wilderness Rivers of Manitoba: Journey by Canoe Through the Land Where the Spirit Lives Stephanie Aykroyd / Książka Miękka
common.buy 77.18 zł
Stanfield Hall JOHN GILBERT / Książka Miękka
common.buy 113.96 zł
United States' Grand Strategy Through the Lens of Lebanon in 1983 and Iraq in 2003 U S Army Command and General Staff Coll / Książka Miękka
common.buy 62.97 zł
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 / Książka Miękka
common.buy 36.97 zł
Killer Tapes and Shattered Screens Caetlin Benson Allott / Książka Miękka
common.buy 175.24 zł
Micrographia Restaurata Robert Hooke / Książka Twarda
common.buy 130.69 zł
Creating a Cookbook: How to Write, Publish, and Promote Your Culinary Philosophy Amy Riolo / Książka Miękka
common.buy 82.12 zł
The Annunaki Robert Smith / Książka Miękka
common.buy 43.93 zł
TOP
Orlando Virginia Woolf / Książka Miękka
common.buy 36.77 zł
6 Full-Length PARCC Grade 7 Math Practice Tests Reza Nazari / Książka Miękka
common.buy 66.30 zł
Hiding Behind A Mask K. Weikel / Książka Miękka
common.buy 59.25 zł
Tanie
Daddy's Home St. Vincent / Audio Winyl Audio
common.buy 85.35 zł
Warren Buffett's Ground Rules Jeremy Miller / E-book Adobe ePub DRM
common.buy 48.77 zł
Croatia: Istria: With Rijeka and the Slovenian Adriatic Thammy Evans / Książka Miękka
common.buy 90.38 zł
NEW DAD JOKES Harding / Książka Miękka
common.buy 45.34 zł
Letters of Gustave Flaubert Gustave Flaubert / E-book Adobe ePub DRM
common.buy 103.58 zł
Concepts for Neural Networks Lawrence J. Landau / Książka Miękka
common.buy 438.36 zł
subalpine lake ecosystem, Ovre Heimdalsvatn, and its catchment: local and global changes over the last 50 years John E. Brittain / Książka Twarda
common.buy 656.83 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?