Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings
Robert Giegerich, Peter Steffen (auth.), Eerke A. Boiten, Bernhard Möller (eds.)
This book constitutes the refereed proceedings of the 6th International Conference on Mathematics of Program Construction, MPC 2002, held in Dagstuhl Castle, Germany, in July 2002.
The 11 revised full papers presented were carefully reviewed and selected for inclusion in the book; also presented are one invited paper and the abstracts of two invited talks. Among the topics covered are programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.
The 11 revised full papers presented were carefully reviewed and selected for inclusion in the book; also presented are one invited paper and the abstracts of two invited talks. Among the topics covered are programming methodology, program specification, program transformation, programming paradigms, programming calculi, and programming language semantics.
درجه (قاطیغوری(:
کال:
2002
خپرونه:
1
خپرندویه اداره:
Springer-Verlag Berlin Heidelberg
ژبه:
english
صفحه:
266
ISBN 10:
3540438572
ISBN 13:
9783540438571
لړ (سلسله):
Lecture Notes in Computer Science 2386
فایل:
PDF, 1.50 MB
IPFS:
,
english, 2002
د دې کتاب ډاونلوډ کول د کاپي حق لرونکي د شکایت له امله ممکن نه دئ