Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Verification-based software-fault detection

Sprache EnglischEnglisch
Buch Broschur
Buch Verification-based software-fault detection Christoph David Gladisch
Libristo-Code: 01877599
Verlag Karlsruher Institut Fur Technologie, August 2014
Software is used in many safety- and security-critical systems. Software development is, however, an... Vollständige Beschreibung
? points 92 b
37.39 € inkl. MwSt.
Externes Lager Wir versenden in 8-11 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Vive la France: Sommerliche Getränkegenüsse aus Frankreich Leachim Sachet / Buch Hardcover
common.buy 22.99 €
Pozorování ptáků Chris Packham / Buch Hardcover
common.buy 12.99 €
Luis Landero - El guitarrista Sabine Husmann / Buch Broschur
common.buy 17.95 €
Kombipaket Strafrecht Allgemeiner Teil I Stefan Seiler / Buch Broschur
common.buy 51.60 €
The Grammar Tree / Spiel/Spielzeug Spiel
common.buy 25.19 €
Oval Elvia Wilk / Buch Buch
common.buy 20.09 €
Die Osterschildkröte Guido Kasmann / Buch Broschur
common.buy 8.69 €
Curso de formación continuada en dolor en pediatr­a MARTIN MATEOS / Buch Buch
common.buy 74.69 €
UN PHILOSOPHE GREC EN GAULE RISER JEAN / Buch Hardcover
common.buy 32.29 €
Muž, co strašnou smůlu měl Martin Pospíšil / Buch Broschur
common.buy 11.19 €
Der große Rätselblock. Bd.45 / Buch Broschur
common.buy 6.09 €
Game of Thrones - Der Winter naht George Raymond Richard Martin / Buch Hardcover
common.buy 32.00 €
ESCRITOS EN LA CALLE Alejandro Guerri / Buch Broschur
common.buy 19.69 €
Panikattacken und andere Angststörungen loswerden Klaus Bernhardt / Buch Broschur
common.buy 20.00 €
Exposition Historique Et Militaire de la Revolution Et de l'Empire: Catalogue Bapst-G / Buch Broschur
common.buy 18.09 €
Orange Line 2 Frank Haß / Buch Hardcover
common.buy 32.59 €
Grundzuge Der Praktischen Pharmazie Richard Brieger / Buch Broschur
common.buy 80.29 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Verification-based software-fault detection
Autor Christoph David Gladisch
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2014
Anzahl der Seiten 292
EAN 9783866446762
Libristo-Code 01877599
Verlag Karlsruher Institut Fur Technologie
Gewicht 467
Abmessungen 170 x 244 x 15

Kategorie

EDV und Informationstechnologie > Informationstechnik (IT), allgemeine Themen
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Lessons from the Damned Nancy E. Stoller / Buch Broschur
common.buy 77.69 €
Ancient Egypt Arthur Gilman / Buch Broschur
common.buy 29.89 €
Catholic Question John Edmonds Stock / Buch Broschur
common.buy 21.99 €
Investigations into Narrative Structures Christian Todenhagen / Buch Hardcover
common.buy 107.79 €
Voices from Exile Victor Montejo / Buch Broschur
common.buy 30.79 €
Nevada: A History Robert Laxalt / Buch Broschur
common.buy 19.39 €
Wilderness Rivers of Manitoba: Journey by Canoe Through the Land Where the Spirit Lives Stephanie Aykroyd / Buch Broschur
common.buy 19.39 €
Stanfield Hall JOHN GILBERT / Buch Broschur
common.buy 27.99 €
United States' Grand Strategy Through the Lens of Lebanon in 1983 and Iraq in 2003 U S Army Command and General Staff Coll / Buch Broschur
common.buy 15.39 €
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 / Buch Broschur
common.buy 8.99 €
Killer Tapes and Shattered Screens Caetlin Benson Allott / Buch Broschur
common.buy 42.39 €
Micrographia Restaurata Robert Hooke / Buch Hardcover
common.buy 31.79 €
Creating a Cookbook: How to Write, Publish, and Promote Your Culinary Philosophy Amy Riolo / Buch Broschur
common.buy 20.09 €
The Annunaki Robert Smith / Buch Broschur
common.buy 10.69 €
Top
Orlando Virginia Woolf / Buch Broschur
common.buy 9.19 €
6 Full-Length PARCC Grade 7 Math Practice Tests Reza Nazari / Buch Broschur
common.buy 16.09 €
Hiding Behind A Mask K. Weikel / Buch Broschur
common.buy 14.49 €
Günstig
Daddy's Home St. Vincent / Audio Audio Vinyl
common.buy 19.79 €
Warren Buffett's Ground Rules Jeremy Miller / E-Book Adobe ePub DRM
common.buy 11.89 €
Croatia: Istria: With Rijeka and the Slovenian Adriatic Thammy Evans / Buch Broschur
common.buy 22.39 €
NEW DAD JOKES Harding / Buch Broschur
common.buy 11.19 €
Letters of Gustave Flaubert Gustave Flaubert / E-Book Adobe ePub DRM
common.buy 25.49 €
Concepts for Neural Networks Lawrence J. Landau / Buch Broschur
common.buy 107.29 €
subalpine lake ecosystem, Ovre Heimdalsvatn, and its catchment: local and global changes over the last 50 years John E. Brittain / Buch Hardcover
common.buy 160.89 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto