Mathematics of Program Construction, 6 conf., MPC 2002
Eerke A. Boiten, Bernhard Möller
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.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
