Ringer, Talia Palmskog, Karl Sergey, Ilya Gligoric, Milos Tatlock, Zachary Qed at large 9781680835946

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

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

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

в Мои желания

Автор: Ringer, Talia Palmskog, Karl Sergey, Ilya Gligoric, Milos Tatlock, Zachary
Название: Qed at large
ISBN: 9781680835946
Издательство: Mare Nostrum (Eurospan)
Классификация:

Языки программирования и описания сценариев: общие сведения

ISBN-10: 1680835947
Обложка/Формат: Paperback
Страницы: 194
Вес: 0.28 кг.
Дата издания: 30.09.2019
Серия: Foundations and trends (r) in programming languages
Язык: English
Размер: 234 x 293 x 14
Читательская аудитория: Professional and scholarly
Ключевые слова: Programming & scripting languages: general, COMPUTERS / Programming Languages / General
Подзаголовок: A survey of engineering of formally verified software
Рейтинг:
Поставляется из: Англии
Описание: Covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools. The book emphasizes challenges and breakthroughs at each stage in history and highlights challenges that are currently present due to the increasing scale of proof developments.

Qed at large, Ringer, Talia Palmskog, Karl Sergey, Ilya Gligoric, Milos Tatlock, Zachary