Code: 01877599

Verification-based software-fault detection

Name: Verification-based software-fault detection
Brand: Karlsruher Institut Fur Technologie
SKU: 01877599
Price: 35.56 EUR
Availability: InStock
Author: Christoph David Gladisch
ISBN: 9783866446762

by Christoph David Gladisch

Language: English
Binding: Paperback
Number of pages: 292
Publisher: Karlsruher Institut Fur Technologie, 2014
More about this

35.56 €

RRP: 41.75 €

You save 6.19 €

In stock at our supplier
Shipping in 8 - 11 days

Add to wishlist

Diary of a Young Girl
7.35 € -25 %
Buy
Guziki i koronka. Księga 1. Wersja ukraińska/ Ґудзики та мереживо (кн 1)
11.38 € -12 %
Buy
Orlando
9.26 € -24 %
Buy
Mediator's Handbook
24.98 € -25 %
Buy
Game of Thrones - Der Winter naht
25.89 € -19 %
Buy
Pozorování ptáků
9.46 € -34 %
Buy
Common Mistakes at IELTS Intermediate
11.68 €
Buy
Dracula's America: Shadows of the West: Forbidden Power
15.91 € -25 %
Buy
Panikattacken und andere Angststörungen loswerden
17.32 € -14 %
Buy
Twentieth-century Jewellery
75.16 € -9 %
Buy
Wilderness Rivers of Manitoba: Journey by Canoe Through the Land Where the Spirit Lives
18.53 € -9 %
Buy
Muž, co strašnou smůlu měl
10.37 € -15 %
Buy
THE ROUND HOUSE
22.96 € -25 %
Buy
Bethany a netvor Pomsta je sladká
8.55 € -16 %
Buy
Return of the Underwear Dragon
7.45 € -28 %
Buy
The Grammar Tree
24.17 €
Buy
Daddy's Home
18.33 € -29 %
Buy
Micrographia Restaurata
29.11 € -1 %
Buy
Nevada: A History
18.53 € -9 %
Buy
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
8.15 € -7 %
Buy
Insultario veneto-italiano. Insulti, parolacce, imprecazioni, modi di dire poco gentili e vilipendi vari
8.35 €
Buy
NEW DAD JOKES
9.97 € -24 %
Buy
Croatia: Istria: With Rijeka and the Slovenian Adriatic
21.15 € -24 %
Buy
Thomas Pynchon and the Dark Passages of History
31.02 €
Buy
Programmieren Mit PostScript
67.20 € -4 %
Buy
Stanfield Hall
26.69 € -14 %
Buy
Die Osterschildkröte
8.25 € -3 %
Buy
The Annunaki
9.76 € -6 %
Buy
Love Became Theirs
8.96 € -5 %
Buy
Luis Landero - El guitarrista
16.11 € -10 %
Buy
Medicine
14.90 € -6 %
Buy
The Excavations at Ismant Al-Kharab: Volume II - The Christian Monuments of Kellis: The Churches and Cemeteries
102.67 €
Buy
Man in Black.
25.28 € -2 %
Buy
Life Is Not a Dress Rehearsal
11.28 € -24 %
Buy
Book of Peace
30.32 €
Buy
Lector electrónico rentable
31.93 € -14 %
Buy
United States' Grand Strategy Through the Lens of Lebanon in 1983 and Iraq in 2003
14 € -6 %
Buy
Elmar und seine Freunde, deutsch-spanisch. Elmer y sus amigos
8.66 €
Buy
Critical Infrastructures State of the Art in Research and Application
153.75 € -7 %
Buy
Creating a Cookbook: How to Write, Publish, and Promote Your Culinary Philosophy
18.23 € -7 %
Buy
Les Actrices Du Theatre de la Porte Saint-Martin
12.08 € -1 %
Buy
Voices from Exile
28.61 €
Buy
Hiding Behind A Mask
13.19 € -6 %
Buy
Ancient Egypt
28.40 € -14 %
Buy
Investigations into Narrative Structures
103.07 € -4 %
Buy
Kombipaket Strafrecht Allgemeiner Teil I
54.30 €
Buy
UN PHILOSOPHE GREC EN GAULE
36.06 €
Buy
Sputnik. Bd.4
12.69 €
Buy
Grundzuge Der Praktischen Pharmazie
76.77 € -4 %
Buy
Orange Line 2
31.33 €
Buy
Pro-Life Activists in America
126.75 €
Buy
ESCRITOS EN LA CALLE
18.83 €
Buy
Lessons from the Damned
74.55 €
Buy
Exposition Historique Et Militaire de la Revolution Et de l'Empire: Catalogue
15.81 € -10 %
Buy
Accuracy and Dose in Neutron Stimulated Emission Computed Tomography - Simulations in GEANT4
48.76 € -2 %
Buy
6 Full-Length PARCC Grade 7 Math Practice Tests
14.80 € -1 %
Buy
Land Has Memory
32.23 € -4 %
Pre-order
subalpine lake ecosystem, Ovre Heimdalsvatn, and its catchment: local and global changes over the last 50 years
153.75 € -7 %
Buy
Feminist Science Studies
232.65 €
Buy
Concept of Identity
133.20 €
Buy
Texan Ranch Life
23.17 €
Buy
Killer Tapes and Shattered Screens
36.67 € -10 %
Buy
Oval
18.93 €
Buy
Curso de formación continuada en dolor en pediatra
72.03 €
Buy
A Treatise on the Law of Trusts and Trustees; Volume I
30.82 € -2 %
Buy
Promises Fulfilled and Unfulfilled in Management Education
61.05 €
Buy
Vive la France: Sommerliche Getränkegenüsse aus Frankreich
20.55 € -11 %
Buy
Der große Rätselblock. Bd.45
5.63 €
Buy
Concepts for Neural Networks
102.57 € -7 %
Buy
Transport Deregulation
158.69 € -4 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Verification-based software-fault detection

Book details
Synopsis
Trending among others

You get 86 loyalty points

Book synopsis

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.