Main image
Click to view image in fullscreen
calcActive())">
Mathematics of Program Construction
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.
540,00 DH
Sur commande
1) { qty = qty - 1 }">
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 |