Ed Brinksma Tools and Algorithms for the Construction and Analysis of Systems 9783540627906

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

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

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

в Мои желания

Автор: Ed Brinksma
Название: Tools and Algorithms for the Construction and Analysis of Systems
ISBN: 9783540627906
Издательство: Springer
Классификация:

Утилиты и инструменты

ISBN-10: 3540627901
Обложка/Формат: Paperback
Страницы: 437
Вес: 0.63 кг.
Дата издания: 20.03.1997
Серия: Lecture Notes in Computer Science
Язык: English
Размер: 234 x 156 x 23
Основная тема: Computer Science
Подзаголовок: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Presenting 20 revised papers and five tool demonstrations, this proceedings volume is organized into sections on space-reduction techniques, tool demonstrationgs, logical techniques, verification support, specification and analysis, theorem proving, model checking and applications.

Tools and Algorithms for the Construction and Analysis of Systems, Ed Brinksma