Algorithmics : towards programming as a mathematical activity
Presented at the Mathematics and Computer Science, Amsterdam, The Netherlands
|MSC||Specification and verification (program logics, model checking, etc.) (msc 68Q60), Software (msc 68Nxx)|
|Publisher||North-Holland Publishing Co. (Amsterdam)|
|Conference||Mathematics and Computer Science|
Meertens, L.G.L.T. (1986). Algorithmics : towards programming as a mathematical activity. In Towards programming as a mathematical activity. Mathematics and computer science (pp. 289–334). North-Holland Publishing Co. (Amsterdam).