Книга "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»
Книга "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 |