Архив
Международные конференции, семинары, симпозиумы, конгрессы, школы, коллоквиумы
Международный коллоквиум по частичным и смешанным вычислениям
Статьи (по смешанным вычислениям)
Статья
Статья
"Mixed calculation and verification of symbol manipulation"

Названия статей: "Mixed calculation and verification of simbol manipulation".
Оригинальный язык документа: английский
Авторы: Александр Васильевич Грох, А. Г. Красовский

Изображения страниц:
1 2 3 4 5 6 7 8 9 10 11 12 13


Назад
Следующий документ (Список)
Предыдущий документ (Статья)

Switch to English | Поиск | Расширенный поиск | Папки | Темы
Главная страница Помощь Switch to English Вебмастер © ИСИ СО РАН, 2000-2016