2 หนังสืออิเล็กทรอนิกส์โดย Dragan Bosnacki
Dragan Bosnacki & Stefan Leue: Model Checking Software
The SPIN workshop series brings together researchers and practitioners int- ested in explicit state model checking technology as it is applied to the veri?- tion of software systems. Since 1995, when …
PDF
อังกฤษ
DRM
€57.60
