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
Biblioteka Główna Uniwersytetu Gdańskiego
Uniwersytet Gdański · Gdańskstanbardzo niski
Biblioteka Główna w Toruniu
Uniwersytet Mikołaja Kopernika w Toruniu · Toruństanbardzo niski
Egzemplarze: Biblioteka Narodowa. Lokalizacje bibliotek m.in.: © współtwórcy OpenStreetMap.