1 电子书 Paula Herber
Paula Herber & Anton Wijs: Integrated Formal Methods
This volume LNCS 14300 constitutes the refereed proceedings of the 18th International Conference, IFM 2023, in November 2023, held in Leiden, The Netherlands. The 16 full papers presented together wi …
EPUB
英语
DRM
€128.13
