Larsen Kim Guldstrand, Willemse Tim Formal Methods for Industrial Critical Systems: 24th International Conference, Fmics 2019, Amsterdam, the Netherlands, August 30-31, 2019, Proceedings 9783030270070

Варианты приобретения

Цена: 6986.00р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину

в Мои желания

Автор: Larsen Kim Guldstrand, Willemse Tim
Название: Formal Methods for Industrial Critical Systems: 24th International Conference, Fmics 2019, Amsterdam, the Netherlands, August 30-31, 2019, Proceedings
ISBN: 9783030270070
Издательство: Springer
Классификация:

Компиляторы

Технология разработки программного обеспечения

Математическая теория вычислений

Машинное моделирование и имитация

Искусственный интеллект

ISBN-10: 3030270076
Обложка/Формат: Paperback
Страницы: 161
Вес: 0.26 кг.
Дата издания: 25.07.2019
Серия: Programming and software engineering
Язык: English
Издание: 1st ed. 2019
Иллюстрации: 33 illustrations, color; 123 illustrations, black and white; xv, 161 p. 156 illus., 33 illus. in color.
Размер: 234 x 156 x 10
Читательская аудитория: Professional & vocational
Подзаголовок: 24th international conference, fmics 2019, amsterdam, the netherlands, august 30-31, 2019, proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019. The 9 regular papers presented in this volume were carefully reviewed and selected from 15 submissions.

Formal Methods for Industrial Critical Systems: 24th International Conference, Fmics 2019, Amsterdam, the Netherlands, August 30-31, 2019, Proceedings, Larsen Kim Guldstrand, Willemse Tim