Verification-based software-fault detection

Gladisch, Christoph David · KIT Scientific Publishing

Materiale supplementare disponibile

Lettura rapida. Controlla i dati essenziali della risorsa e accedi al contenuto con il pulsante principale. La scheda mostra solo le informazioni necessarie per identificare, citare e aprire l’opera.

Autore / responsabile

Gladisch, Christoph David

Editore

KIT Scientific Publishing

ISBN

9783866446762

Accesso alla risorsa

Apri il contenuto dall’opzione principale o scegli un’altra fonte disponibile.

DOAB DOAB Books

Entrar por DOAB

Accesso principale

Materiale supplementare disponibile

El enlace apunta a material asociado, anexos, tablas, datos o página complementaria. No se marca como libro/texto completo.

Apri materiale

Come citare

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Gladisch, C. D. (s. f.). Verification-based software-fault detection. KIT Scientific Publishing. https://nodovox.com/record.php?id=204496

MLA

Gladisch, Christoph David. Verification-based software-fault detection. KIT Scientific Publishing. https://nodovox.com/record.php?id=204496.

Chicago

Gladisch, Christoph David. s. f. Verification-based software-fault detection. KIT Scientific Publishing. https://nodovox.com/record.php?id=204496.

Harvard

Gladisch, C. D. s. f, Verification-based software-fault detection, KIT Scientific Publishing, available at: https://nodovox.com/record.php?id=204496 [Accessed 7 Aug. 2026].

Condividi e stampa

Salva la scheda, copia il link permanente o stampala in PDF.

Esporta riferimento

Esporta il record nei formati più comuni per usarlo con un gestore bibliografico.

RIS BibTeX

Dettagli della risorsa

Informazioni bibliografiche utili per verificare che sia il materiale corretto.

Titolo: Verification-based software-fault detection

Autore / collaboratori: Gladisch, Christoph David

Editore: KIT Scientific Publishing

ISBN: 9783866446762