Newsletter

Chcesz otrzymać informacje o najnowszych książkach podobnych do Formalne metody weryfikacji własności protokołów zabezpieczających w sieciach komputerowych?