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.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
