Didier Bert; Christine Choppy; Peter Mosses Recent Trends in Algebraic Development Techniques 9783540678984

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

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

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

в Мои желания

Автор: Didier Bert; Christine Choppy; Peter Mosses
Название: Recent Trends in Algebraic Development Techniques
ISBN: 9783540678984
Издательство: Springer
Классификация:

Компиляторы

Языки программирования и описания сценариев: общие сведения

ISBN-10: 3540678980
Обложка/Формат: Paperback
Страницы: 490
Вес: 0.69 кг.
Дата издания: 06.09.2000
Серия: Lecture Notes in Computer Science
Язык: English
Размер: 234 x 156 x 26
Основная тема: Computer Science
Подзаголовок: 14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: The papers address: algebraic specification and other specification formalisms; test and validation; concurrent processes applications; logic and validation; combining formalisms; subsorts and partiality; structuring; rewriting; co-algebras and sketches; refinement; and other topics.

Recent Trends in Algebraic Development Techniques, Didier Bert; Christine Choppy; Peter Mosses