Camara Javier, Steffen Martin Software Engineering and Formal Methods: Sefm 2019 Collocated Workshops: Cosim-Cps, Asyde, Cifma, and Foclasa, Oslo, Norway, September 16-20, 2019, Re 9783030575052

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

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

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

в Мои желания

Автор: Camara Javier, Steffen Martin
Название: Software Engineering and Formal Methods: Sefm 2019 Collocated Workshops: Cosim-Cps, Asyde, Cifma, and Foclasa, Oslo, Norway, September 16-20, 2019, Re
ISBN: 9783030575052
Издательство: Springer
Классификация:

Алгоритмы и структуры данных

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

Информационный поиск

Анализ и синтез систем

Естественный язык и машинный перевод

ISBN-10: 3030575055
Обложка/Формат: Paperback
Страницы: 277
Вес: 0.41 кг.
Дата издания: 10.09.2020
Серия: Programming and software engineering
Язык: English
Издание: 1st ed. 2020
Иллюстрации: 28 illustrations, color; 202 illustrations, black and white; x, 277 p. 230 illus., 28 illus. in color.
Размер: 23.39 x 15.60 x 1.52 cm
Читательская аудитория: Professional & vocational
Подзаголовок: Sefm 2019 collocated workshops: cosim-cps, asyde, cifma, and foclasa, oslo, norway, september 16-20, 2019, revised selected papers
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. They stem from the following workshops:CoSim-CPS 2019 - 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems;

Software Engineering and Formal Methods: Sefm 2019 Collocated Workshops: Cosim-Cps, Asyde, Cifma, and Foclasa, Oslo, Norway, September 16-20, 2019, Re, Camara Javier, Steffen Martin