Tests and Proofs. 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22.23, 2020, Proceedings Wolfgang Ahrendt, Heike Wehrheim

Подробная информация о книге «Tests and Proofs. 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22.23, 2020, Proceedings Wolfgang Ahrendt, Heike Wehrheim». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Tests and Proofs. 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22.23, 2020, Proceedings Wolfgang Ahrendt, Heike Wehrheim»

Wolfgang Ahrendt, Heike Wehrheim - «Tests and Proofs. 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22.23, 2020, Proceedings»

О книге

Книга "Tests and Proofs. 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22–23, 2020, Proceedings".

Полное название книги Wolfgang Ahrendt, Heike Wehrheim Tests and Proofs. 14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22.23, 2020, Proceedings
Авторы Wolfgang Ahrendt, Heike Wehrheim
Ключевые слова компьютерные технологии, разработка и алгоритмы
Категории Компьютеры и Internet
ISBN 9783030509941
Издательство Springer Nature Customer Service Center LLC
Год 2020
Название транслитом tests-and-proofs-14th-international-conference-tap-2020-held-as-part-of-staf-2020-bergen-norway-june-22-23-2020-proceedings-wolfgang-ahrendt-heike-wehrheim
Название с ошибочной раскладкой tests and proofs. 14th international conference, tap 2020, held as part of staf 2020, bergen, norway, june 22.23, 2020, proceedings wolfgang ahrendt-heike wehrheim