Prezentacja autora B. Berard:

Dotychczas wydane książki B. Berard:

Weryfikacja systemów i oprogramowania: Techniki i narzędzia sprawdzania modeli - Systems and...
Springer Nature
Sprawdzanie modelu jest potężnym podejściem do...
Weryfikacja systemów i oprogramowania: Techniki i narzędzia sprawdzania modeli - Systems and Software Verification: Model-Checking Techniques and Tools
<<
1
>>