Problemy specyfikacji i analizy systemów komputerowych uwarunkowanych bezpieczeństwem - zastosowanie logiki temporalnejJanusz Górski
Problemy specyfikacji i analizy systemów komputerowych uwarunkowanych bezpieczeństwem - zastosowanie logiki temporalnej
2 biblioteki1 wydanie · 1990
O książce
- Autor
- Janusz Górski
- Lata wydań
- 1990
- Liczba wydań
- 1
- Języki
- polski
- Rodzaj
- książka
Dostępna w 2 bibliotekach: Biblioteka Główna Uniwersytetu Gdańskiego (Gdańsk), Biblioteka Główna w Toruniu (Toruń)