Formal Methods. Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29--October 1, 2014. Proceedings Christiano Braga, Narciso Martí-Oliet

Подробная информация о книге «Formal Methods. Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29--October 1, 2014. Proceedings Christiano Braga, Narciso Martí-Oliet». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Formal Methods. Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29--October 1, 2014. Proceedings Christiano Braga, Narciso Martí-Oliet»

Зарегистрироваться на сайте Подробнее
Christiano Braga, Narciso Martí-Oliet - «Formal Methods. Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29--October 1, 2014. Proceedings»

О книге

Книга "Formal Methods. Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings".

Полное название книги Christiano Braga, Narciso Martí-Oliet Formal Methods. Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29--October 1, 2014. Proceedings
Авторы Christiano Braga, Narciso Martí-Oliet
Ключевые слова компьютерные технологии, разработка и алгоритмы
Категории Компьютеры и Internet
ISBN 9783319150741
Издательство Springer Nature Customer Service Center LLC
Год 2015
Название транслитом formal-methods-foundations-and-applications-17th-brazilian-symposium-sbmf-2014-maceio-al-brazil-september-29-october-1-2014-proceedings-christiano-braga-narciso-mart-oliet
Название с ошибочной раскладкой formal methods. foundations and applications : 17th brazilian symposium, sbmf 2014, maceio, al, brazil, september 29--october 1, 2014. proceedings christiano braga-narciso martí-oliet