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ț: 31620 lei

Preț vechi: 39525 lei
-20% Nou

Puncte Express: 474

Preț estimativ în valută:
6052 6308$ 5038£

Carte tipărită la comandă

Livrare economică 06-20 ianuarie 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