Меню
Книгизм
Найти
Авторы
Жанры
Серии
Правообладателям
Войти
Зарегистрироваться
Corina S. Păsăreanu
1 кн.
Подписаться на автора
Сортировать по:
дате добавления
названию
году выхода
количеству скачиваний
i
Symbolic Execution and Quantitative...
Corina S. Păsăreanu
Symbolic Execution and Quantitative Reasoning
Автор
Corina S. Păsăreanu