John Fitzgerald FM 2016 : formal methods 9783319489889

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

Цена: 6986р.
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Америка: Есть
При оформлении заказа до: 2 май 2025
Ориентировочная дата поставки: Июнь
При условии наличия книги у поставщика.

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

в Мои желания

Автор: John Fitzgerald (Джон Фитцджеральд)
Название: FM 2016 : formal methods
Перевод названия: Джон Фитцджеральд: Формальные методы - 2016. Материалы симпозиума
ISBN: 9783319489889
Издательство: Springer
Классификация:

Математические методы анализа и информационные системы финансово-хозяйственной деятельности

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

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

ISBN-10: 3319489887
Обложка/Формат: Paperback
Страницы: 789
Вес: 1.229 кг.
Дата издания: 2016
Серия: Programming and software engineering
Язык: English
Издание: 1st ed. 2016
Иллюстрации: 204 illustrations, black and white; xxiii, 789 p. 204 illus.
Размер: 234 x 156 x 41
Читательская аудитория: Professional & vocational
Подзаголовок: 21st international symposium, limassol, cyprus, november 9-11, 2016, proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers presented together with one abstract of an invited talk and one invited presentation were carefully reviewed and selected from 162 submissions.

FM 2016 : formal methods, John Fitzgerald