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 9783030452360

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

Цена: 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: 9783030452360
Издательство: Springer
Классификация:

Аппаратное обеспечение коипьютеров

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

Математика для специалистов в области теории вычислительных систем

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

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

ISBN-10: 3030452360
Обложка/Формат: Paperback
Страницы: 425
Вес: 0.63 кг.
Дата издания: 18.04.2020
Серия: Theoretical computer science and general issues
Язык: English
Издание: 1st ed. 2020
Иллюстрации: 1 illustrations, black and white; xxiii, 425 p. 1 illus.
Размер: 23.39 x 15.60 x 2.31 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 ii
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание:

Bisimulation.- Verification and Efficiency.- Logic and Proof.- Tools and Case Studies.- Games and Automata.- SV-COMP 2020.

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