Computer Aided Verification. 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21.24, 2020, Proceedings, Part I Chao Wang, Shuvendu K. Lahiri

Подробная информация о книге «Computer Aided Verification. 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21.24, 2020, Proceedings, Part I Chao Wang, Shuvendu K. Lahiri». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Computer Aided Verification. 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21.24, 2020, Proceedings, Part I Chao Wang, Shuvendu K. Lahiri»

Зарегистрироваться на сайте Подробнее
Chao Wang, Shuvendu K. Lahiri - «Computer Aided Verification. 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21.24, 2020, Proceedings, Part I»

О книге

Книга "Computer Aided Verification. 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I".

Полное название книги Chao Wang, Shuvendu K. Lahiri Computer Aided Verification. 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21.24, 2020, Proceedings, Part I
Авторы Chao Wang, Shuvendu K. Lahiri
Ключевые слова компьютерные технологии, разработка и алгоритмы
Категории Компьютеры и Internet
ISBN 9783030532871
Издательство Springer Nature Customer Service Center LLC
Год 2020
Название транслитом computer-aided-verification-32nd-international-conference-cav-2020-los-angeles-ca-usa-july-21-24-2020-proceedings-part-i-shuvendu-k-lahiri-chao-wang
Название с ошибочной раскладкой computer aided verification. 32nd international conference, cav 2020, los angeles, ca, usa, july 21.24, 2020, proceedings, part i shuvendu k. lahiri-chao wang