Tests and Proofs. 9th International Conference, TAP 2015, Held as Part of STAF 2015, L.Aquila, Italy, July 22-24, 2015. Proceedings Jasmin Christian Blanchette, Nikolai Kosmatov

Подробная информация о книге «Tests and Proofs. 9th International Conference, TAP 2015, Held as Part of STAF 2015, L.Aquila, Italy, July 22-24, 2015. Proceedings Jasmin Christian Blanchette, Nikolai Kosmatov». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Tests and Proofs. 9th International Conference, TAP 2015, Held as Part of STAF 2015, L.Aquila, Italy, July 22-24, 2015. Proceedings Jasmin Christian Blanchette, Nikolai Kosmatov»

Зарегистрироваться на сайте Подробнее
Jasmin Christian Blanchette, Nikolai Kosmatov - «Tests and Proofs. 9th International Conference, TAP 2015, Held as Part of STAF 2015, L.Aquila, Italy, July 22-24, 2015. Proceedings»

О книге

Книга "Tests and Proofs. 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings".

Полное название книги Jasmin Christian Blanchette, Nikolai Kosmatov Tests and Proofs. 9th International Conference, TAP 2015, Held as Part of STAF 2015, L.Aquila, Italy, July 22-24, 2015. Proceedings
Авторы Jasmin Christian Blanchette, Nikolai Kosmatov
Ключевые слова компьютерные технологии, разработка и алгоритмы
Категории Компьютеры и Internet
ISBN 9783319212142
Издательство Springer Nature Customer Service Center LLC
Год 2015
Название транслитом tests-and-proofs-9th-international-conference-tap-2015-held-as-part-of-staf-2015-l-aquila-italy-july-22-24-2015-proceedings-jasmin-christian-blanchette-nikolai-kosmatov
Название с ошибочной раскладкой tests and proofs. 9th international conference, tap 2015, held as part of staf 2015, l.aquila, italy, july 22-24, 2015. proceedings jasmin christian blanchette-nikolai kosmatov