Rayadurgam NASA Formal Methods 9783319406473

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

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

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

в Мои желания

Автор: Rayadurgam
Название: NASA Formal Methods
ISBN: 9783319406473
Издательство: Springer
Классификация:

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

ISBN-10: 3319406477
Обложка/Формат: Paperback
Страницы: 396
Вес: 0.64 кг.
Дата издания: 2016
Серия: Programming and Software Engineering
Язык: English
Иллюстрации: 129 black & white illustrations, biography
Размер: 234 x 156 x 22
Читательская аудитория: General (us: trade)
Основная тема: Computer Science
Подзаголовок: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This book constitutes the proceedings of the 8th International Symposium on NASA Formal Methods, NFM 2016, held in Minneapolis, MN, USA, in June 2016. The 19 full and 10 short papers presented in this volume were carefully reviewed and selected from 70 submissions.

NASA Formal Methods, Rayadurgam