1 Ebook di Rosemary Monahan
Maurice H. ter Beek & Rosemary Monahan: Integrated Formal Methods
This book constitutes the refereed proceedings of the 17th International Conference on Integrated Formal Methods, IFM 2022, held in Lugano, Switzerland, in June 2022.The 14 full papers and 2 short pa …
EPUB
Inglese
DRM
€83.77
