ผู้เขียน: Thomas Neele

สนับสนุน

1 หนังสืออิเล็กทรอนิกส์โดย Thomas Neele

Thomas Neele & Anton Wijs: Model Checking Software
This book constitutes the refereed proceedings of the 30th International Symposium on Model Checking Software, SPIN 2024, held in Luxembourg City, Luxembourg, during April 10-11, 2024.The 9 full pape …
EPUB
อังกฤษ
DRM
€57.99