Mathematics of Program Construction

Editeur: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Constitutes the proceedings of the 6th International Conference on Mathematics of Program Construction, held in Germany in 2002. The 11 papers cover programming methodology, program specification, program transformation, programming paradigms, programming calculi and programming language semantics.
Sur commande
Constitutes the proceedings of the 6th International Conference on Mathematics of Program Construction, held in Germany in 2002. The 11 papers cover programming methodology, program specification, program transformation, programming paradigms, programming calculi and programming language semantics.
ISBN / EAN 9783540438571
Editeur Springer-Verlag Berlin and Heidelberg GmbH & Co. KG