Hardware and Software. Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings Nir Piterman

Подробная информация о книге «Hardware and Software. Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings Nir Piterman». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Hardware and Software. Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings Nir Piterman»

Зарегистрироваться на сайте Подробнее
Nir Piterman - «Hardware and Software. Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings»

О книге

Книга "Hardware and Software. Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings".

Полное название книги Nir Piterman Hardware and Software. Verification and Testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
Автор Nir Piterman
Ключевые слова компьютерные технологии, разработка и алгоритмы
Категории Компьютеры и Internet
ISBN 9783319262864
Издательство Springer Nature Customer Service Center LLC
Год 2015
Название транслитом hardware-and-software-verification-and-testing-11th-international-haifa-verification-conference-hvc-2015-haifa-israel-november-17-19-2015-proceedings-nir-piterman
Название с ошибочной раскладкой hardware and software. verification and testing : 11th international haifa verification conference, hvc 2015, haifa, israel, november 17-19, 2015, proceedings nir piterman