Cantitate/Preț
Produs

Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings: Lecture Notes in Computer Science, cartea 11951

Editat de Nan Guan, Joost-Pieter Katoen, Jun Sun
en Limba Engleză Paperback – 10 noi 2019
This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019. 

The 8 full papers presented were carefully reviewed and selected from 26 submissions. They present cutting-edge advancements in the  field of formal methods and its interoperability with software engineering and focus on the application of formal techniques and tools for building reliable, safe, secure, and smart systems with multi-dimensional complexities. 



 
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 31893 lei

Preț vechi: 39866 lei
-20% Nou

Puncte Express: 478

Preț estimativ în valută:
6106 6346$ 5062£

Carte tipărită la comandă

Livrare economică 06-20 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783030355395
ISBN-10: 303035539X
Pagini: 200
Ilustrații: XIII, 139 p. 135 illus., 23 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.23 kg
Ediția:1st ed. 2019
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Cham, Switzerland