Książka Software Engineering  and Formal Methods Antonio Cerone

Software Engineering and Formal Methods

21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 8-10, 2023, Proceedings

Język: Angielski
Oprawa: Miękka
Wydawca: Springer, Berlin
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
276.48
TThis book constitutes the refereed proceedings of the 21st International Conference on Software Eng...

Informacje o książce

Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2024
strony
392
EAN
9783031471148
Enbook ID
44230885
Waga
548
Wymiary
155 x 235

Pełny opis

TThis book constitutes the refereed proceedings of the 21st International Conference on Software Engineering and Formal Methods, SEFM 2023, held in Eindhoven, The Netherlands, during November 8-10, 2023.The 19 full papers included in this book were carefully reviewed and selected from 41 submissions. The SEFM conference series aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools.

Możesz być zainteresowany

Between the Shadows

Daniel A. Heller
68.50

Cheese Champions

Giedo De Snijder
169.32

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

Der Anthologist

Nicholson Baker
85.48
61.67

Tatry pre deti

Daniel Kollár
61.87

Magická knihovna

Alexander Zeno
33.86
53.67
77.48
58.06