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
>>

© Book1 Group - wszelkie prawa zastrzeżone.
Zawartość tej strony nie może być kopiowana ani wykorzystywana w całości lub w części bez pisemnej zgody właściciela.
Ostatnia aktualizacja: 2024.11.13 21:45 (GMT)