Cantitate/Preț
Produs

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings: Lecture Notes in Computer Science, cartea 10606

Editat de Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang
en Limba Engleză Paperback – 17 oct 2017
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.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 61799 lei

Preț vechi: 77249 lei
-20%

Puncte Express: 927

Preț estimativ în valută:
11840 12825$ 10153£

Carte tipărită la comandă

Livrare economică 06-13 mai

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783319694825
ISBN-10: 3319694820
Pagini: 351
Ilustrații: XVIII, 351 p. 74 illus.
Dimensiuni: 155 x 235 mm
Greutate: 5.62 kg
Ediția:1st ed. 2017
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Cham, Switzerland

Cuprins

Probabilistic and Statistical Analysis.- Timed and Hybrid Systems.- Program Analysis.- Modeling and Verification.- Formalization.- Tools.