Formal Methods for Industrial Critical Systems. 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings Kim Guldstrand Larsen, Tim Willemse (книга)

Подробная информация о книге «Formal Methods for Industrial Critical Systems. 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings Kim Guldstrand Larsen, Tim Willemse». Сайт не предоставляет возможности читать онлайн или скачать бесплатно книгу «Formal Methods for Industrial Critical Systems. 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings Kim Guldstrand Larsen, Tim Willemse»

Зарегистрироваться на сайте Подробнее

Рейтинг книги izbe.ru: 0,0

Войдите или зарегистрируйтесь чтобы ставить оценки книгам

О книге

Книга "Formal Methods for Industrial Critical Systems. 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings".

Полное название книги	Kim Guldstrand Larsen, Tim Willemse Formal Methods for Industrial Critical Systems. 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30-31, 2019, Proceedings
Тип	Книга
Авторы	Kim Guldstrand Larsen, Tim Willemse
Ключевые слова	языки программирования, компьютерные технологии
Категории	Компьютеры и Internet
ISBN	9783030270070
Возрастное ограничение	18
Издательство	Springer Nature Customer Service Center LLC
Год	2019
Название транслитом	formal-methods-for-industrial-critical-systems-24th-international-conference-fmics-2019-amsterdam-the-netherlands-august-30-31-2019-proceedings-kim-guldstrand-larsen-tim-willemse
Просмотров	2
Рейтинг izbe.ru	0,0