de Roever Data Refinement 9780521641708

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

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

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

в Мои желания

Автор: de Roever
Название: Data Refinement
ISBN: 9780521641708
Издательство: Cambridge Academ
Классификация:

Базы данных

Математическая теория вычислений

ISBN-10: 0521641705
Обложка/Формат: Hardback
Страницы: 436
Вес: 0.85 кг.
Дата издания: 03.12.1998
Серия: Cambridge Tracts in Theoretical Computer Science, 47
Язык: English
Иллюстрации: 18 b/w illus. 93 exercises
Размер: 236 x 159 x 32
Читательская аудитория: computer science (theoretical, formal methods)
Основная тема: Computer science
Подзаголовок: Model-Oriented Proof Methods and their Comparison
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии
Описание: Graduate text in formal methods in computer science.

Data Refinement, de Roever