Corina S. Păsăreanu

Список книг автора Corina S. Păsăreanu
1

Symbolic Execution and Quantitative Reasoning

Скачать Symbolic Execution and Quantitative Reasoning - Corina S. Păsăreanu
Название
Symbolic Execution and Quantitative Reasoning
Автор:
Corina S. Păsăreanu
Серия:
Synthesis Lectures on Software Engineering
Жанр:
Программы
1