Formal Methods for Industrial Critical Systems. 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings Manuel Núñez, Matthias Güdemann

Подробная информация о книге «Formal Methods for Industrial Critical Systems. 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings Manuel Núñez, Matthias Güdemann». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Formal Methods for Industrial Critical Systems. 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings Manuel Núñez, Matthias Güdemann»

Зарегистрироваться на сайте Подробнее
Manuel Núñez, Matthias Güdemann - «Formal Methods for Industrial Critical Systems. 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings»

О книге

Книга "Formal Methods for Industrial Critical Systems. 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings".

Полное название книги Manuel Núñez, Matthias Güdemann Formal Methods for Industrial Critical Systems. 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
Авторы Manuel Núñez, Matthias Güdemann
Ключевые слова языки программирования, компьютерные технологии
Категории Компьютеры и Internet
ISBN 9783319194578
Издательство Springer Nature Customer Service Center LLC
Год 2015
Название транслитом formal-methods-for-industrial-critical-systems-20th-international-workshop-fmics-2015-oslo-norway-june-22-23-2015-proceedings-manuel-n-ez-matthias-g-demann
Название с ошибочной раскладкой formal methods for industrial critical systems. 20th international workshop, fmics 2015 oslo, norway, june 22-23, 2015 proceedings manuel núñez-matthias güdemann