Symbolic Execution and Quantitative Reasoning. Corina S. Păsăreanu

---

Скачать книгу

---

Читать онлайн

Symbolic Execution and Quantitative Reasoning

Год выпуска: 0

Автор произведения: Corina S. Păsăreanu

Серия: Synthesis Lectures on Software Engineering

Жанр: Программы

Издательство: Ingram

isbn: 9781681738550

Краткое описание: