Kniha 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

Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 489
TThis book constitutes the refereed proceedings of the 21st International Conference on Software Eng...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2024
Stránek
392
EAN
9783031471148
Enbook ID
44230885
Vydavatel
Hmotnost
548
Rozměry
155 x 235

Kompletní popis

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.

Mohlo by vás zajímat

Between the Shadows

Daniel A. Heller
390

Cheese Champions

Giedo De Snijder
964

Zákaznicí kteří koupili tuto knihu koupili také

Der Anthologist

Nicholson Baker
487
351

Tatry pre deti

Daniel Kollár
378

Magická knihovna

Alexander Zeno
205
335
441
296