Symbolic Execution and Quantitative Reasoning. Corina S. Păsăreanu
- Тип: Текст PDF
- Автор:
- Издательство: Ingram(2020)
- Серия: Synthesis Lectures on Software Engineering
- ISBN: 9781681738550
- Страниц: 7
1819.21 руб.
Отложить
- Жанры: Программы
- Фрагмент