The price comes from the shop and can change. Check price, size and delivery on the shop's page before you order.
Proceedings of the NATO Advanced Study Institute on Program Design Calculi, held in Marktoberdorf, Germany, July 28 - August 9, 1992