Symbolic Execution and Quantitative Reasoning. Corina S. Păsăreanu
Скачать книгу в различных форматах или читать онлайн на сайте.
Название: Symbolic Execution and Quantitative Reasoning
Автор: Corina S. Păsăreanu
Издательство: Ingram
Жанр: Программы
Серия: Synthesis Lectures on Software Engineering
isbn: 9781681738550
isbn: 0