Recent Trends in Algebraic Development Techniques, Jose L. Fiadeiro
Автор: Didier Bert; Christine Choppy; Peter Mosses Название: Recent Trends in Algebraic Development Techniques ISBN: 3540678980 ISBN-13(EAN): 9783540678984 Издательство: Springer Рейтинг: Цена: 83850.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: 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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz