Książka 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

Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 10-18 dni
313.12
This book constitutes the proceedings of the 9th International Symposium on Dependable Software Engi...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2024
strony
452
EAN
9789819986637
Enbook ID
44429706
Waga
625
Wymiary
155 x 235

Pełny opis

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.

Możesz być zainteresowany

Restorative Dentistry

A Damien Walmsley
323.50

Drawing

Trudy Friend
80.43

Gilgamesh

Stuart T. Kendall
71.42
86.20
68.29

Columbus

THOMAS MORTON
122.99

Klienci, którzy kupili tę książkę, kupili również

12.61

Пандемия Sars Cov 2

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

Coco Chanel

Jane Kent
38.06
1 418.39