Cerone Antonio, Roggenbach Markus Formal Methods - Fun for Everybody: First International Workshop, Fmfun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers 9783030713737

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

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

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

в Мои желания

Автор: Cerone Antonio, Roggenbach Markus
Название: Formal Methods - Fun for Everybody: First International Workshop, Fmfun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers
ISBN: 9783030713737
Издательство: Springer
Классификация:

Учебное оборудование и технологии, компьютерное обучение (CAL)

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

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

ISBN-10: 3030713733
Обложка/Формат: Paperback
Страницы: 227
Вес: 0.34 кг.
Дата издания: 11.03.2021
Язык: English
Размер: 23.39 x 15.60 x 1.30 cm
Ссылка на Издательство: Link
Поставляется из: Германии
Описание: This volume constitutes the post-workshop proceedings of the First International Workshop on Formal Methods - Fun for Everybody, FMFun 2019, held in Bergen, Norway, in December 2019.The 7 revised full papers and 2 revised short papers presented in this volume were carefully reviewed and selected from 15 submissions.

Formal Methods - Fun for Everybody: First International Workshop, Fmfun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers, Cerone Antonio, Roggenbach Markus