Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

Verification-based software-fault detection

Lingua IngleseInglese
Libro In brossura
Libro Verification-based software-fault detection Christoph David Gladisch
Codice Libristo: 01877599
Casa editrice Karlsruher Institut Fur Technologie, agosto 2014
Software is used in many safety- and security-critical systems. Software development is, however, an... Descrizione completa
? points 76 b
31.19 €
Magazzino esterno Inviamo tra 8-11 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

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

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Verification-based software-fault detection
Autore Christoph David Gladisch
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2014
Numero di pagine 292
EAN 9783866446762
Codice Libristo 01877599
Casa editrice Karlsruher Institut Fur Technologie
Peso 467
Dimensioni 170 x 244 x 15

Categorie

Informatica e Tecnologia dell’Informazione > Informatica: argomenti di interesse generale
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

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

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo