Symbolic Execution and Quantitative Reasoning. Corina S. Păsăreanu. Скачать в формате fb2, epub, doc, txt. Newlib. NEWLIB.NET

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

Автор:	Corina S. Păsăreanu
Издательство:	Ingram
Серия:	Synthesis Lectures on Software Engineering
Жанр произведения:	Программы
Год издания:	0
isbn:	9781681738550

Скачать Читать онлайн