Formal Methods. Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings Márcio Cornélio, Bill Roscoe

Подробная информация о книге «Formal Methods. Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings Márcio Cornélio, Bill Roscoe». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Formal Methods. Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings Márcio Cornélio, Bill Roscoe»

Зарегистрироваться на сайте Подробнее
Márcio Cornélio, Bill Roscoe - «Formal Methods. Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings»

О книге

Книга "Formal Methods. Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings".

Полное название книги Márcio Cornélio, Bill Roscoe Formal Methods. Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Авторы Márcio Cornélio, Bill Roscoe
Ключевые слова компьютерные технологии, разработка и алгоритмы
Категории Компьютеры и Internet
ISBN 9783319294728
Издательство Springer Nature Customer Service Center LLC
Год 2016
Название транслитом formal-methods-foundations-and-applications-18th-brazilian-symposium-sbmf-2015-belo-horizonte-brazil-september-21-22-2015-proceedings-m-rcio-corn-lio-bill-roscoe
Название с ошибочной раскладкой formal methods. foundations and applications : 18th brazilian symposium, sbmf 2015, belo horizonte, brazil, september 21-22, 2015, proceedings márcio cornélio-bill roscoe