Kniha Dependable Software Engineering. Theories, Tools, and Applications Holger Hermanns

Dependable Software Engineering. Theories, Tools, and Applications

9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer, Berlin
Dostupnosť: Skladom u dodávateľa
Odosielame za 10-18 dní
77.66
This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engi...

Informácie o knihe

Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Vydalo
2024
Stránok
452
EAN
9789819986637
Enbook ID
44429706
Vydavateľ
Hmotnosť
625
Rozmery
155 x 235

Kompletný popis

This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engineering, SETTA 2024, held in Nanjing, China, during November 27-29, 2024.The 24 full papers presented in this volume were carefully reviewed and selected from 78 submissions. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.

Mohlo by vás zaujímať

Restorative Dentistry

A Damien Walmsley
75.80

Drawing

Trudy Friend
17.72

Gilgamesh

Stuart T. Kendall
15.66
18.99
15.17

Columbus

THOMAS MORTON
27.41

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

2.93

Пандемия Sars Cov 2

О. Ерге Изагуирре О.
34.56

Coco Chanel

Jane Kent
9.39
332.30