Verified Software. Theories, Tools, and Experiments. 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers Supratik Chakraborty, Jorge A. Navas

Подробная информация о книге «Verified Software. Theories, Tools, and Experiments. 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers Supratik Chakraborty, Jorge A. Navas». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Verified Software. Theories, Tools, and Experiments. 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers Supratik Chakraborty, Jorge A. Navas»

Зарегистрироваться на сайте Подробнее
Supratik Chakraborty, Jorge A. Navas - «Verified Software. Theories, Tools, and Experiments. 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers»

О книге

Книга "Verified Software. Theories, Tools, and Experiments. 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers".

Полное название книги Supratik Chakraborty, Jorge A. Navas Verified Software. Theories, Tools, and Experiments. 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers
Авторы Supratik Chakraborty, Jorge A. Navas
Ключевые слова компьютерные технологии, разработка и алгоритмы
Категории Компьютеры и Internet
ISBN 9783030415990
Издательство Springer Nature Customer Service Center LLC
Год 2020
Название транслитом verified-software-theories-tools-and-experiments-11th-international-conference-vstte-2019-new-york-city-ny-usa-july-13-14-2019-revised-selected-papers-supratik-chakraborty-jorge-a-navas
Название с ошибочной раскладкой verified software. theories, tools, and experiments. 11th international conference, vstte 2019, new york city, ny, usa, july 13-14, 2019, revised selected papers supratik chakraborty-jorge a. navas