Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Service de messagerie GLS 4.99 € Coursier DPD 4.49 € Point DPD 3.49 €
phone Contact phoneComment faire ses achats

Verification-based software-fault detection

Langue AnglaisAnglais
Livre Livre de poche
Livre Verification-based software-fault detection Christoph David Gladisch
Code Libristo: 01877599
Éditeurs Karlsruher Institut Fur Technologie, août 2014
Software is used in many safety- and security-critical systems. Software development is, however, an... Description détaillée
? points 76 b
31.19 € TVA incluse
Stockage externe Expédition sous 8-11 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Lector electrónico rentable Muhammad Zeeshan / Livre Livre de poche
common.buy 27.99 €
Elmar und seine Freunde, deutsch-spanisch. Elmer y sus amigos David McKee / Livre Livre Concertina
common.buy 7.99 €
Luis Landero - El guitarrista Sabine Husmann / Livre Livre de poche
common.buy 17.95 €
Sputnik. Bd.4 / Livre Feuille
common.buy 11.95 €
Pozorování ptáků Chris Packham / Livre Livre relié
common.buy 9.79 €
Insultario veneto-italiano. Insulti, parolacce, imprecazioni, modi di dire poco gentili e vilipendi vari Marialetizia Pivato / Livre Livre
common.buy 6.59 €
Guziki i koronka. Księga 1. Wersja ukraińska/ Ґудзики та мереживо (кн 1) Penelope Sky / Livre Livre relié
common.buy 10.69 €
Kombipaket Strafrecht Allgemeiner Teil I Stefan Seiler / Livre Livre de poche
common.buy 51.60 €
Mordet pa Bromma gymnasium Sundelin / Livre audio MP3
common.buy 2.69 €
Vive la France: Sommerliche Getränkegenüsse aus Frankreich Leachim Sachet / Livre Livre relié
common.buy 22.99 €
Die Osterschildkröte Guido Kasmann / Livre Livre de poche
common.buy 8.50 €
The Grammar Tree / Jeu/jouet Jeu
common.buy 22.99 €
Oval Elvia Wilk / Livre Livre
common.buy 15.09 €
Curso de formación continuada en dolor en pediatr­a MARTIN MATEOS / Livre Livre
common.buy 59.09 €
UN PHILOSOPHE GREC EN GAULE RISER JEAN / Livre Livre relié
common.buy 32.39 €
Der große Rätselblock. Bd.45 / Livre Livre de poche
common.buy 4.79 €
Muž, co strašnou smůlu měl Martin Pospíšil / Livre Livre de poche
common.buy 9.59 €
Game of Thrones - Der Winter naht George Raymond Richard Martin / Livre Livre relié
common.buy 32.00 €
Les Actrices Du Theatre de la Porte Saint-Martin SANS AUTEUR / Livre Livre de poche
common.buy 10.69 €
ESCRITOS EN LA CALLE Alejandro Guerri / Livre Livre de poche
common.buy 15.29 €
Bientôt
Panikattacken und andere Angststörungen loswerden Klaus Bernhardt / Livre Livre de poche
common.buy 20.00 €
Exposition Historique Et Militaire de la Revolution Et de l'Empire: Catalogue Bapst-G / Livre Livre de poche
common.buy 13.99 €
Orange Line 2 Frank Haß / Livre Livre relié
common.buy 29.50 €
Grundzuge Der Praktischen Pharmazie Richard Brieger / Livre Livre de poche
common.buy 79.99 €

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 & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Verification-based software-fault detection
Auteur Christoph David Gladisch
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2014
Nombre de pages 292
EAN 9783866446762
Code Libristo 01877599
Éditeurs Karlsruher Institut Fur Technologie
Poids 467
Dimensions 170 x 244 x 15

Catégories

Informatique et technologies de l’information > Technologies de l’information : questions générales
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Lessons from the Damned Nancy E. Stoller / Livre Livre de poche
common.buy 67.09 €
Creating a Cookbook: How to Write, Publish, and Promote Your Culinary Philosophy Amy Riolo / Livre Livre de poche
common.buy 16.19 €
Book of Peace Dawn Katar / Livre Livre relié
common.buy 27.09 €
Medicine Mamie Ed D Smith / Livre Livre de poche
common.buy 13.19 €
Investigations into Narrative Structures Christian Todenhagen / Livre Livre relié
common.buy 91.59 €
Voices from Exile Victor Montejo / Livre Livre de poche
common.buy 25.89 €
Nevada: A History Robert Laxalt / Livre Livre de poche
common.buy 16.29 €
Wilderness Rivers of Manitoba: Journey by Canoe Through the Land Where the Spirit Lives Stephanie Aykroyd / Livre Livre de poche
common.buy 16.29 €
Stanfield Hall JOHN GILBERT / Livre Livre de poche
common.buy 23.39 €
United States' Grand Strategy Through the Lens of Lebanon in 1983 and Iraq in 2003 U S Army Command and General Staff Coll / Livre Livre de poche
common.buy 12.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 / Livre Livre de poche
common.buy 8.99 €
Dracula's America: Shadows of the West: Forbidden Power Jonathan Haythornthwaite / Livre Livre de poche
common.buy 13.69 €
Ancient Egypt Arthur Gilman / Livre Livre de poche
common.buy 24.89 €
Micrographia Restaurata Robert Hooke / Livre Livre relié
common.buy 25.89 €
Killer Tapes and Shattered Screens Caetlin Benson Allott / Livre Livre de poche
common.buy 32.39 €
The Annunaki Robert Smith / Livre Livre de poche
common.buy 8.69 €
Top
Orlando Virginia Woolf / Livre Livre de poche
common.buy 7.29 €
6 Full-Length PARCC Grade 7 Math Practice Tests Reza Nazari / Livre Livre de poche
common.buy 13.19 €
Hiding Behind A Mask K. Weikel / Livre Livre de poche
common.buy 11.69 €
Abordable
Daddy's Home St. Vincent / Audio Vinyle audio
common.buy 18.19 €
Horses of Lost Valley Aileen Kilgore Henderson / Livre numérique Adobe ePub DRM
common.buy 3.79 €
Warren Buffett's Ground Rules Jeremy Miller / Livre numérique Adobe ePub DRM
common.buy 9.59 €
Croatia: Istria: With Rijeka and the Slovenian Adriatic Thammy Evans / Livre Livre de poche
common.buy 18.19 €
Return of the Underwear Dragon Rothman / Livre Livre de poche
common.buy 6.09 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo