Перегляд Метод компіляційно-семантичної верифікації часопараметризованих мультипаралельних програм

Повернутися до подробиць випуску Метод компіляційно-семантичної верифікації часопараметризованих мультипаралельних програм Завантажити Завантажити PDF