Symbolic Execution and Quantitative Reasoning. Corina S. Păsăreanu. Скачать бесплатно книгу на сайте LiveLib - Лайвлиб.

Новинки Лучшее Рекомендации

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

Название:

Автор книги:

Категория произведения:

Литературная серия:

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

Год выпуска:

0

isbn:

9781681738550

Краткое содержание книги:

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