Hasan Osman, Mallet Frйdйric Formal Techniques for Safety-Critical Systems: 7th International Workshop, Ftscs 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers 9783030469016

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

Цена: 46570.00T
Кол-во:
о цене
Наличие: Невозможна поставка.

в Мои желания

Автор: Hasan Osman, Mallet Frйdйric
Название: Formal Techniques for Safety-Critical Systems: 7th International Workshop, Ftscs 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
ISBN: 9783030469016
Издательство: Springer
Классификация:

Сетевое оборудование

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

Теория вычислительных машин и систем, кибернетика

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

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

Экспертные системы / системы баз знаний

ISBN-10: 3030469018
Обложка/Формат: Paperback
Страницы: 141
Вес: 0.23 кг.
Дата издания: 01.07.2020
Язык: English
Размер: 23.37 x 19.56 x 0.51 cm
Ссылка на Издательство: Link
Поставляется из: Германии
Описание: This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019. The 6 revised full papers presented were carefully reviewed and selected from 17 submissions.

Formal Techniques for Safety-Critical Systems: 7th International Workshop, Ftscs 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers, Hasan Osman, Mallet Frйdйric