Найти:

Гаранина Наталья Олеговна

Автор

SciID

0000015421

SPIN-код

4957-5968

ОНП

spin, promela, ПРОЦЕСС-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ, проверка моделей, УПРАВЛЯЮЩЕЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ, ШАБЛОНЫ ТРЕБОВАНИЙ

Заходил

показать

ОНП

spin, promela, ПРОЦЕСС-ОРИЕНТИРОВАННОЕ ПРОГРАММИРОВАНИЕ, проверка моделей, УПРАВЛЯЮЩЕЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ, ШАБЛОНЫ ТРЕБОВАНИЙ

библиотека

конференции

контакты

Работы Гараниной Н. О.: новые поступления

Точный тест планируемости для систем реа…

ШАБЛОНЫ ТРЕБОВАНИЙ В ДЕДУКТИВНОЙ ВЕРИФИК…

Библиотека Гараниной Н. О.: новые поступления

ШАБЛОНЫ ТРЕБОВАНИЙ В ДЕДУКТИВНОЙ ВЕРИФИК…

Постов пока нет

Скоро владелец страницы опубликует здесь свои посты.