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.
Kategorien:
Jahr:
2002
Auflage:
1
Verlag:
Springer-Verlag Berlin Heidelberg
Sprache:
english
Seiten:
266
ISBN 10:
3540438572
ISBN 13:
9783540438571
Serien:
Lecture Notes in Computer Science 2386
Datei:
PDF, 1.50 MB
IPFS:
,
english, 2002
Dieses Buch ist für das Herunterladen wegen der Beschwerde des Urheberrechtsinhabers nicht verfügbar