Backhouse, Roland
Program construction : calculating implementations from specifications
- Harlow: John Wiley & Sons, 2003
- xii, 340 p.; : 24 cm.
9780470848821 (pbk)
Computer programming
Calculational Logic
Sequential Composition
Number Conversion
005.1 / BAC