1 Ebooks de Owolabi Legunsen
Owolabi Legunsen & Grigore Rosu: Model Checking Software
This book constitutes the refereed proceedings of the 28th International Symposium on Model Checking Software, SPIN 2022, held virtually in May 2022.The 8 full papers were carefully reviewed and sele …
EPUB
Engleză
DRM
€114.94