Formal Methods. Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings Leila Ribeiro, Thierry Lecomte

Подробная информация о книге «Formal Methods. Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings Leila Ribeiro, Thierry Lecomte». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Formal Methods. Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings Leila Ribeiro, Thierry Lecomte»

Зарегистрироваться на сайте Подробнее
Leila Ribeiro, Thierry Lecomte - «Formal Methods. Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings»

О книге

Книга "Formal Methods. Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings".

Полное название книги Leila Ribeiro, Thierry Lecomte Formal Methods. Foundations and Applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings
Авторы Leila Ribeiro, Thierry Lecomte
Ключевые слова компьютерные технологии, разработка и алгоритмы
Категории Компьютеры и Internet
ISBN 9783319498140
Издательство Springer Nature Customer Service Center LLC
Год 2016
Название транслитом formal-methods-foundations-and-applications-19th-brazilian-symposium-sbmf-2016-natal-brazil-november-23-25-2016-proceedings-leila-ribeiro-thierry-lecomte
Название с ошибочной раскладкой formal methods. foundations and applications : 19th brazilian symposium, sbmf 2016, natal, brazil, november 23-25, 2016, proceedings leila ribeiro-thierry lecomte