ผู้เขียน: Dragan Bosnacki

สนับสนุน

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