Javier Esparza; Keijo Heljanko Unfoldings 9783642096051

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

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

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

в Мои желания

Автор: Javier Esparza; Keijo Heljanko
Название: Unfoldings
ISBN: 9783642096051
Издательство: Springer
Классификация:

Компьютерное программирование / разработка по

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

Тестирование и верификация программного обеспечения

Теория вычислительных машин и систем, кибернетика

ISBN-10: 3642096050
Обложка/Формат: Paperback
Страницы: 184
Вес: 0.29 кг.
Дата издания: 2008
Серия: Monographs in theoretical computer science : an eatcs series
Язык: English
Издание: Softcover reprint of
Иллюстрации: 51 black & white illustrations, 4 black & white tables, biography
Размер: 234 x 156 x 10
Читательская аудитория: Professional & vocational
Подзаголовок: A partial-order approach to model checking
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem by means of concurrency theory.

Unfoldings, Javier Esparza; Keijo Heljanko