Cantitate/Preț
Produs
Total produse
Vezi coșul
Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings de Nan Guan

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

Preț vechi: 38550 lei
-20% Nou

Puncte Express: 463
Preț estimativ în valută:
5906€ • 6391$ • 4923£

Carte tipărită la comandă

Livrare economică 09-23 decembrie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
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