Boiten E.A., Muller B. — Mathematics of Program Construction
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Mathematics of Program Construction
Авторы: Boiten E.A., Muller B.
Аннотация:
Proceedings of the 6th Intl Conference, MPC 2002, held July 8-10, 2002 in Dagstuhl Castle, Germany. Topics include programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics. Softcover.
|
|
О проекте