Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Dependable Software Engineering. Theories, Tools, and Applications

Name: Dependable Software Engineering. Theories, Tools, and Applications
Brand: Springer International Publishing AG
SKU: 18184905
Price: 53.79 EUR
Availability: InStock
Author: Kim G. Larsen
ISBN: 9783319694825

Kim G. Larsen

Oleg Sokolsky

Ji Wang

Lingua

Inglese

Libro In brossura

Codice Libristo: 18184905

Casa editrice Springer International Publishing AG, ottobre 2017

This book constitutes the proceedings of the Third International Symposium on Dependable Software En... Descrizione completa

Codice Libristo: 18184905

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Kůň prince Filipa modrý

Giocattolo

10.59 €

Victoria y No Derrota / Choosing Victory, Overcoming Defeat (New Inductive Studies Series) Kay Arthur

In brossura

8.09 €

Leere erfassen - Die Leere erschaffen Benjamin Itter

In brossura

44.79 €

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October 2017. The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools.