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 11.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
154.22 zł
Dostępna u dostawcy Wysyłamy za 8-11 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Pozorování ptáků Chris Packham / Książka Twarda
common.buy 49.22 zł
Die Osterschildkröte Guido Kasmann / Książka Miękka
common.buy 35.84 zł
Elmar und seine Freunde, deutsch-spanisch. Elmer y sus amigos David McKee / Książka Leporelo
common.buy 37.48 zł
Luis Landero - El guitarrista Sabine Husmann / Książka Miękka
common.buy 69.85 zł
Sputnik. Bd.4 / Książka Karta
common.buy 55.04 zł
Insultario veneto-italiano. Insulti, parolacce, imprecazioni, modi di dire poco gentili e vilipendi vari Marialetizia Pivato / Książka Książka
common.buy 34.21 zł
Mordet pa Bromma gymnasium Sundelin / Audiobook MP3
common.buy 13.68 zł
Lector electrónico rentable Muhammad Zeeshan / Książka Miękka
common.buy 138.49 zł
Kombipaket Strafrecht Allgemeiner Teil I Stefan Seiler / Książka Miękka
common.buy 235.11 zł
TOP
Guziki i koronka. Księga 1. Wersja ukraińska/ Ґудзики та мереживо (кн 1) Penelope Sky / Książka Twarda
common.buy 49.43 zł
Vive la France: Sommerliche Getränkegenüsse aus Frankreich Leachim Sachet / Książka Twarda
common.buy 89.16 zł
The Grammar Tree / Gra/Zabawka Gra
common.buy 104.79 zł
Bethany a netvor Pomsta je sladká Jack Meggitt-Phillips / Książka Twarda
common.buy 39.01 zł
Oval Elvia Wilk / Książka Książka
common.buy 78.13 zł
Curso de formación continuada en dolor en pediatr­a MARTIN MATEOS / Książka Książka
common.buy 312.03 zł
UN PHILOSOPHE GREC EN GAULE RISER JEAN / Książka Twarda
common.buy 163.11 zł
Der große Rätselblock. Bd.45 / Książka Miękka
common.buy 24.20 zł
Muž, co strašnou smůlu měl Martin Pospíšil / Książka Miękka
common.buy 46.36 zł
Game of Thrones - Der Winter naht George Raymond Richard Martin / Książka Twarda
common.buy 119.29 zł
Les Actrices Du Theatre de la Porte Saint-Martin SANS AUTEUR / Książka Miękka
common.buy 54.94 zł
ESCRITOS EN LA CALLE Alejandro Guerri / Książka Miękka
common.buy 81.60 zł
Panikattacken und andere Angststörungen loswerden Klaus Bernhardt / Książka Miękka
common.buy 75.06 zł
Exposition Historique Et Militaire de la Revolution Et de l'Empire: Catalogue Bapst-G / Książka Miękka
common.buy 64.85 zł
Orange Line 2 Frank Haß / Książka Twarda
common.buy 135.53 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 337.87 zł
Micrographia Restaurata Robert Hooke / Książka Twarda
common.buy 132.46 zł
Book of Peace Dawn Katar / Książka Twarda
common.buy 124.80 zł
Medicine Mamie Ed D Smith / Książka Miękka
common.buy 67.91 zł
Investigations into Narrative Structures Christian Todenhagen / Książka Twarda
common.buy 446.54 zł
Voices from Exile Victor Montejo / Książka Miękka
common.buy 128.89 zł
Nevada: A History Robert Laxalt / Książka Miękka
common.buy 80.17 zł
Wilderness Rivers of Manitoba: Journey by Canoe Through the Land Where the Spirit Lives Stephanie Aykroyd / Książka Miękka
common.buy 80.17 zł
Stanfield Hall JOHN GILBERT / Książka Miękka
common.buy 115.51 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 63.83 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 37.48 zł
Dracula's America: Shadows of the West: Forbidden Power Jonathan Haythornthwaite / Książka Miękka
common.buy 69.04 zł
Ancient Egypt Arthur Gilman / Książka Miękka
common.buy 123.17 zł
Killer Tapes and Shattered Screens Caetlin Benson Allott / Książka Miękka
common.buy 150.14 zł
Creating a Cookbook: How to Write, Publish, and Promote Your Culinary Philosophy Amy Riolo / Książka Miękka
common.buy 83.23 zł
The Annunaki Robert Smith / Książka Miękka
common.buy 44.52 zł
TOP
Orlando Virginia Woolf / Książka Miękka
common.buy 37.27 zł
6 Full-Length PARCC Grade 7 Math Practice Tests Reza Nazari / Książka Miękka
common.buy 67.20 zł
Hiding Behind A Mask K. Weikel / Książka Miękka
common.buy 60.05 zł
Tanie
Daddy's Home St. Vincent / Audio Winyl Audio
common.buy 79.56 zł
Horses of Lost Valley Aileen Kilgore Henderson / E-book Adobe ePub DRM
common.buy 19.91 zł
Warren Buffett's Ground Rules Jeremy Miller / E-book Adobe ePub DRM
common.buy 49.73 zł
Croatia: Istria: With Rijeka and the Slovenian Adriatic Thammy Evans / Książka Miękka
common.buy 91.40 zł
Return of the Underwear Dragon Rothman / Książka Miękka
common.buy 34.62 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?