Softwareudvikling
Se alle bogdetaljer →
Dependable Software Engineering. Theories, Tools, and Applications
6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings
Udgivet af Springer Nature Switzerland AG
ISBN
9783030628215
Om denne bog
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest research results and …
Boghandelspriser
| Boghandel | Titel | Format | ISBN | Pris | Lagerstatus | Levering | |
|---|---|---|---|---|---|---|---|
Ingen boghandelstilbud endnuVi har titlen i kataloget. Priser vises her, når boghandlere lister den. |
|||||||
5
0
4
0
3
0
2
0
1
0
0%
Anbefaler
0
Verificeret
Ingen anmeldelser endnu
Bogdetaljer
Forlag
Springer Nature Switzerland AG
Kategori
Softwareudvikling
ISBN-13
9783030628215
EAN
9783030628215
Format
Hæftet
Sprog
Engelsk
sider
203
Undertitel
- 6th International Symposium, SETTA 2020, Guangzhou, China, November 24–27, 2020, Proceedings
Produktbeskrivelse
This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, held in Guangzhou, China, in November 2020. The 10 full and 1 short paper included in this volume were carefully reviewed and selected from 20 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
Prishistorik
Indlæser prishistorik...