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

Программы. Synthesis Lectures on Software Engineering

Symbolic Execution and Quantitative Reasoning - Corina S. Păsăreanu Synthesis Lectures on Software Engineering

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

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

Symbolic Execution and Quantitative Reasoning

Год выпуска 0

isbn 9781681738550

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

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

Серия Synthesis Lectures on Software Engineering

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