2 द्वारा ईबुक Maurizio Palmieri
Marco Autili & Alessio Bucaioni: Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during …
EPUB
अंग्रेज़ी
DRM
€57.78
Cinzia Bernardeschi & Pierluigi Graziani: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
This volume constitutes the revised selected papers from the four workshops collocated with the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, held in Berlin, Ge …
EPUB
अंग्रेज़ी
DRM
€127.78
