Carte 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

Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
358.98 lei
TThis book constitutes the refereed proceedings of the 21st International Conference on Software Eng...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2024
Pagini
392
EAN
9783031471148
Enbook ID
44230885
Greutate
548
Dimensiuni
155 x 235

Descriere completă

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.

S-ar putea să te intereseze

Between the Shadows

Daniel A. Heller
89.97 lei

Cheese Champions

Giedo De Snijder
222.16 lei

Clienții care au cumpărat această carte au mai cumpărat și

Der Anthologist

Nicholson Baker
105.28 lei
75.96 lei

Tatry pre deti

Daniel Kollár
76.16 lei

Magická knihovna

Alexander Zeno
44.22 lei
70.32 lei
95.51 lei
75.96 lei