LIBRO INGLESE
Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
68,90 €
+690
punti 
Venditore: Feltrinelli
Articolo acquistabile con Carta del Docente
Articolo acquistabile con Carta Cultura Giovani e Carta del Merito
Articolo acquistabile con Carta della Cultura
Paga con Klarna in 3 rate senza interessi per ordini superiori a 39 €
Dati e Statistiche
Salvato in 0 liste dei desideri
Salvato in 0 liste dei desideri
Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers
Disponibilità in 2 settimane
68,90 €
68,90 €
Disponibilità in 2 settimane
This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017. The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.
-
Curatore:
-
Editore:
-
Collana:Programming and Software Engineering
-
Anno:2017
-
Rilegatura:Paperback / softback
Pagine:
211 p.
Testo in English
Dimensioni:
235 x 155 mm
EAN:
9783319723075
Informazioni e Contatti sulla Sicurezza dei Prodotti
Le schede prodotto sono aggiornate in conformità al Regolamento UE 988/2023. Laddove ci fossero taluni dati non disponibili per ragioni indipendenti da Feltrinelli, vi informiamo che stiamo compiendo ogni ragionevole sforzo per inserirli. Vi invitiamo a controllare periodicamente il sito www.lafeltrinelli.it per eventuali novità e aggiornamenti.
Per le vendite di prodotti da terze parti, ciascun venditore si assume la piena e diretta responsabilità per la commercializzazione del prodotto e per la sua conformità al Regolamento UE 988/2023, nonché alle normative nazionali ed europee vigenti.
Per informazioni sulla sicurezza dei prodotti, contattare productsafety@feltrinelli.it
