Электронный каталог: Іссам, Саад - Моделі і методи аналізу та верифікації протоколів управліня у програмно-конфігурованих мережах, щ...