Chakraborty Supratik, Navas Jorge A. Verified Software. Theories, Tools, and Experiments: 11th International Conference, Vstte 2019, New York City, Ny, Usa, July 13-14, 2019, Revised Sele 9783030415990

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

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

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

в Мои желания

Автор: Chakraborty Supratik, Navas Jorge A.
Название: Verified Software. Theories, Tools, and Experiments: 11th International Conference, Vstte 2019, New York City, Ny, Usa, July 13-14, 2019, Revised Sele
ISBN: 9783030415990
Издательство: Springer
Классификация:

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

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

Анализ и синтез систем

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

ISBN-10: 3030415996
Обложка/Формат: Paperback
Страницы: 193
Вес: 0.30 кг.
Дата издания: 14.03.2020
Серия: Programming and software engineering
Язык: English
Издание: 1st ed. 2020
Иллюстрации: 30 illustrations, color; 191 illustrations, black and white; xvi, 193 p. 221 illus., 30 illus. in color.
Размер: 23.39 x 15.60 x 1.14 cm
Читательская аудитория: Professional & vocational
Подзаголовок: 11th international conference, vstte 2019, new york city, ny, usa, july 13-14, 2019, revised selected papers
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019. The 9 full papers presented were carefully revised and selected from 17 submissions.

Verified Software. Theories, Tools, and Experiments: 11th International Conference, Vstte 2019, New York City, Ny, Usa, July 13-14, 2019, Revised Sele, Chakraborty Supratik, Navas Jorge A.