Additional Metadata
MSC Specification and verification (program logics, model checking, etc.) (msc 68Q60), Software (msc 68Nxx)
Publisher North-Holland Publishing Co. (Amsterdam)
Series CWI Monographs
Conference Mathematics and Computer Science
Citation
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).