Corina S. Păsăreanu

Symbolic Execution and Quantitative Reasoning

Информация о книге:

Автор книги: Corina S. Păsăreanu

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

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

Серия: Synthesis Lectures on Software Engineering

Год издания: 0

isbn: 9781681738550

Аннотация:

Скачать книгу
Читать онлайн книгу Symbolic Execution and Quantitative Reasoning