Bertrand Meyer; Jim Woodcock Verified Software: Theories, Tools, Experiments 9783540691471

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

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

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

в Мои желания

Автор: Bertrand Meyer; Jim Woodcock
Название: Verified Software: Theories, Tools, Experiments
ISBN: 9783540691471
Издательство: Springer
Классификация:

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

ISBN-10: 3540691472
Обложка/Формат: Paperback
Страницы: 546
Вес: 0.84 кг.
Дата издания: 07.07.2008
Серия: Programming and Software Engineering
Язык: English
Размер: 236 x 150 x 33
Основная тема: Computer Science
Подзаголовок: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: A Step Towards Verified Software Worries about the reliability of software are as old as software itself;

Verified Software: Theories, Tools, Experiments, Bertrand Meyer; Jim Woodcock