Program Construction and Verification
by Roland C. Backhouse
ISBN 13: 9780137291465
Format: Paperback (336 pages) Publisher: Prentice-Hall Published: 01 Apr 1986
Save for later