Vérifier l’état de la commande

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

La Poste Autrichienne 5.49 € Service de messagerie GLS 4.99 € Coursier DPD 4.49 € Point DPD 3.49 €

Contact

Comment faire ses achats

Assistance

Mon compte

▸ Vide :-(

Dependable Software Engineering. Theories, Tools, and Applications

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

Kim G. Larsen

Oleg Sokolsky

Ji Wang

Langue

Anglais

Livre Livre de poche

Code Libristo: 18184905

Éditeurs Springer International Publishing AG, octobre 2017

This book constitutes the proceedings of the Third International Symposium on Dependable Software En... Description détaillée

Code Libristo: 18184905

111 b

45.49 € TVA incluse

Stockage externe Expédition sous 5-8 jours

Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Kůň prince Filipa modrý

Jouet

8.39 €

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

Livre de poche

6.19 €

Leere erfassen - Die Leere erschaffen Benjamin Itter

Livre de poche

47.95 €

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.