Corina S Pasareanu Model Checking Software 9783642026515

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

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

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

в Мои желания

Автор: Corina S Pasareanu
Название: Model Checking Software
ISBN: 9783642026515
Издательство: Springer
Классификация:

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

ISBN-10: 3642026516
Обложка/Формат: Paperback
Страницы: 307
Вес: 0.47 кг.
Дата издания: 2009
Серия: Lecture notes in computer science / theoretical computer science and general issues
Язык: English
Иллюстрации: Illustrations
Размер: 234 x 155 x 18
Читательская аудитория: Postgraduate, research & scholarly
Подзаголовок: 16th international spin workshop, grenoble, france, june 26-28, 2009. proceedings
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: 16th International SPIN Workshop Grenoble France June 2628 2009 Proceedings. .

Model Checking Software, Corina S Pasareanu