Formalne metody weryfikacji własności protokołów zabezpieczających w sieciach komputerowychKurkowski MirosławVyprodáno4,3Pohlídat
