Ferreira Joгo F., Mendes Alexandra, Menghi Claudio Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings 9783030915490

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

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

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

в Мои желания

Автор: Ferreira Joгo F., Mendes Alexandra, Menghi Claudio
Название: Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
ISBN: 9783030915490
Издательство: Springer
Классификация:

Математические основы

Математическая логика

ISBN-10: 3030915492
Обложка/Формат: Paperback
Страницы: 164
Вес: 0.24 кг.
Дата издания: 21.11.2021
Серия: Theoretical computer science and general issues
Язык: English
Издание: 1st ed. 2021
Иллюстрации: 14 illustrations, color; 13 illustrations, black and white; xii, 147 p. 27 illus., 14 illus. in color.
Размер: 23.39 x 15.60 x 0.89 cm
Читательская аудитория: Professional & vocational
Подзаголовок: 4th international workshop and tutorial, fmtea 2021, virtual event, november 21, 2021, proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book constitutes the refereed proceedings of the 4th International Workshop and Tutorial, FMTea 2021, Held as Part of the 4th World Congress on Formal Methods, FM 2021, as a virtual event in November 2021. The 8 full papers presented together with 2 short papers were carefully reviewed and selected from 12 submissions.

Formal Methods Teaching: 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings, Ferreira Joгo F., Mendes Alexandra, Menghi Claudio