Biere Armin, Parker David Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held as Part of the European Joint Confe 9783030451899

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

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

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

в Мои желания

Автор: Biere Armin, Parker David
Название: Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held as Part of the European Joint Confe
ISBN: 9783030451899
Издательство: Springer
Классификация:

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

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

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

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

ISBN-10: 3030451895
Обложка/Формат: Paperback
Страницы: 501
Вес: 0.73 кг.
Дата издания: 18.04.2020
Серия: Theoretical computer science and general issues
Язык: English
Издание: 1st ed. 2020
Иллюстрации: 1 illustrations, black and white; xxiii, 501 p. 1 illus.
Размер: 23.39 x 15.60 x 2.69 cm
Читательская аудитория: Professional & vocational
Подзаголовок: 26th international conference, tacas 2020, held as part of the european joint conferences on theory and practice of software, etaps 2020, dublin, ireland, april 25-30, 2020, proceedings, part i
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание:

Program Verification.- SAT and SMT.- Timed and Dynamical Systems.- Verifying Concurrent Systems.- Probabilistic Systems.- Model Checking and Reachability.- Timed and Probabilistic Systems.

Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held as Part of the European Joint Confe, Biere Armin, Parker David