Derrick G. Kourie; Bruce W. Watson The Correctness-by-Construction Approach to Programming 9783642448546

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

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

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

в Мои желания

Автор: Derrick G. Kourie; Bruce W. Watson
Название: The Correctness-by-Construction Approach to Programming
ISBN: 9783642448546
Издательство: Springer
Классификация:

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

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

ISBN-10: 3642448542
Обложка/Формат: Paperback
Страницы: 266
Вес: 0.39 кг.
Дата издания: 09.05.2014
Язык: English
Размер: 234 x 156 x 15
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded text provides stepwise explanation of algorithm derivation and facilitates practical applications in computation geometry, among other fields.

The Correctness-by-Construction Approach to Programming, Derrick G. Kourie; Bruce W. Watson