Corina S. Păsăreanu
Список книг автора Corina S. Păsăreanu
Symbolic Execution and Quantitative Reasoning - Corina S. Păsăreanu
Название: Symbolic Execution and Quantitative Reasoning
Автор: Corina S. Păsăreanu
Издательство: Ingram
Жанр: Программы