Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Verification-based software-fault detection

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Verification-based software-fault detection Christoph David Gladisch
Libristo-code: 01877599
Uitgeverij Karlsruher Institut Fur Technologie, augustus 2014
Software is used in many safety- and security-critical systems. Software development is, however, an... Volledige beschrijving
? points 86 b
35.73 €
In extern magazijn Wordt binnen 8-11 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Vive la France: Sommerliche Getränkegenüsse aus Frankreich Leachim Sachet / Boek Gebonden (harde band)
common.buy 20.64 €
Pozorování ptáků Chris Packham / Boek Gebonden (harde band)
common.buy 12.44 €
Luis Landero - El guitarrista Sabine Husmann / Boek Gebonden (paperback)
common.buy 16.19 €
Kombipaket Strafrecht Allgemeiner Teil I Stefan Seiler / Boek Gebonden (paperback)
common.buy 48.79 €
The Grammar Tree / Spel/speelgoed Spel
common.buy 24.29 €
Oval Elvia Wilk / Boek Boek
common.buy 19.33 €
Die Osterschildkröte Guido Kasmann / Boek Gebonden (paperback)
common.buy 8.29 €
Curso de formación continuada en dolor en pediatr­a MARTIN MATEOS / Boek Boek
common.buy 72.48 €
UN PHILOSOPHE GREC EN GAULE RISER JEAN / Boek Gebonden (harde band)
common.buy 31.37 €
Muž, co strašnou smůlu měl Martin Pospíšil / Boek Gebonden (paperback)
common.buy 10.72 €
Der große Rätselblock. Bd.45 / Boek Gebonden (paperback)
common.buy 6.17 €
Game of Thrones - Der Winter naht George Raymond Richard Martin / Boek Gebonden (harde band)
common.buy 27.63 €
ESCRITOS EN LA CALLE Alejandro Guerri / Boek Gebonden (paperback)
common.buy 19.02 €
Panikattacken und andere Angststörungen loswerden Klaus Bernhardt / Boek Gebonden (paperback)
common.buy 17.40 €
Exposition Historique Et Militaire de la Revolution Et de l'Empire: Catalogue Bapst-G / Boek Gebonden (paperback)
common.buy 17.40 €
Orange Line 2 Frank Haß / Boek Gebonden (harde band)
common.buy 31.48 €
Grundzuge Der Praktischen Pharmazie Richard Brieger / Boek Gebonden (paperback)
common.buy 77.14 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Verification-based software-fault detection
Auteur Christoph David Gladisch
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2014
Aantal pagina's 292
EAN 9783866446762
Libristo-code 01877599
Uitgeverij Karlsruher Institut Fur Technologie
Gewicht 467
Afmetingen 170 x 244 x 15

Categorieën

Informatica en informatietechnologie > Informatica: algemene onderwerpen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Lessons from the Damned Nancy E. Stoller / Boek Gebonden (paperback)
common.buy 75.31 €
Ancient Egypt Arthur Gilman / Boek Gebonden (paperback)
common.buy 28.54 €
Catholic Question John Edmonds Stock / Boek Gebonden (paperback)
common.buy 21.25 €
Investigations into Narrative Structures Christian Todenhagen / Boek Gebonden (harde band)
common.buy 103.66 €
Voices from Exile Victor Montejo / Boek Gebonden (paperback)
common.buy 29.86 €
Nevada: A History Robert Laxalt / Boek Gebonden (paperback)
common.buy 18.11 €
Wilderness Rivers of Manitoba: Journey by Canoe Through the Land Where the Spirit Lives Stephanie Aykroyd / Boek Gebonden (paperback)
common.buy 18.11 €
Stanfield Hall JOHN GILBERT / Boek Gebonden (paperback)
common.buy 26.82 €
United States' Grand Strategy Through the Lens of Lebanon in 1983 and Iraq in 2003 U S Army Command and General Staff Coll / Boek Gebonden (paperback)
common.buy 14.77 €
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 / Boek Gebonden (paperback)
common.buy 8.70 €
Killer Tapes and Shattered Screens Caetlin Benson Allott / Boek Gebonden (paperback)
common.buy 41.20 €
Micrographia Restaurata Robert Hooke / Boek Gebonden (harde band)
common.buy 30.77 €
Creating a Cookbook: How to Write, Publish, and Promote Your Culinary Philosophy Amy Riolo / Boek Gebonden (paperback)
common.buy 19.33 €
The Annunaki Robert Smith / Boek Gebonden (paperback)
common.buy 10.32 €
TOP
Orlando Virginia Woolf / Boek Gebonden (paperback)
common.buy 8.60 €
6 Full-Length PARCC Grade 7 Math Practice Tests Reza Nazari / Boek Gebonden (paperback)
common.buy 15.58 €
Hiding Behind A Mask K. Weikel / Boek Gebonden (paperback)
common.buy 13.96 €
Voordelig
Daddy's Home St. Vincent / Audio Audio vinyl
common.buy 20.04 €
Warren Buffett's Ground Rules Jeremy Miller / E-book Adobe ePub DRM
common.buy 11.43 €
Croatia: Istria: With Rijeka and the Slovenian Adriatic Thammy Evans / Boek Gebonden (paperback)
common.buy 22.67 €
NEW DAD JOKES Harding / Boek Gebonden (paperback)
common.buy 10.62 €
Letters of Gustave Flaubert Gustave Flaubert / E-book Adobe ePub DRM
common.buy 24.39 €
Concepts for Neural Networks Lawrence J. Landau / Boek Gebonden (paperback)
common.buy 103.05 €
subalpine lake ecosystem, Ovre Heimdalsvatn, and its catchment: local and global changes over the last 50 years John E. Brittain / Boek Gebonden (harde band)
common.buy 154.48 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?