Könyv 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

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
25 025 Ft
TThis book constitutes the refereed proceedings of the 21st International Conference on Software Eng...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2024
oldal
392
EAN
9783031471148
Enbook ID
44230885
Súly
548
Méretek
155 x 235

Teljes leírás

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.

Érdekelheti

Between the Shadows

Daniel A. Heller
6 472 Ft

Cheese Champions

Giedo De Snijder
15 939 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Der Anthologist

Nicholson Baker
7 126 Ft
5 152 Ft

Tatry pre deti

Daniel Kollár
5 152 Ft

Magická knihovna

Alexander Zeno
2 994 Ft
4 642 Ft
6 459 Ft
5 138 Ft