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

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