Computer Aided Verification. 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I Isil Dillig, Serdar Tasiran

Подробная информация о книге «Computer Aided Verification. 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I Isil Dillig, Serdar Tasiran». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Computer Aided Verification. 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I Isil Dillig, Serdar Tasiran»

Зарегистрироваться на сайте Подробнее
Isil Dillig, Serdar Tasiran - «Computer Aided Verification. 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I»

О книге

Книга "Computer Aided Verification. 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I".

Полное название книги Isil Dillig, Serdar Tasiran Computer Aided Verification. 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Авторы Isil Dillig, Serdar Tasiran
Ключевые слова компьютерные технологии, разработка и алгоритмы
Категории Компьютеры и Internet
ISBN 9783030255398
Издательство Springer Nature Customer Service Center LLC
Год 2019
Название транслитом computer-aided-verification-31st-international-conference-cav-2019-new-york-city-ny-usa-july-15-18-2019-proceedings-part-i-isil-dillig-serdar-tasiran
Название с ошибочной раскладкой computer aided verification. 31st international conference, cav 2019, new york city, ny, usa, july 15-18, 2019, proceedings, part i isil dillig-serdar tasiran