Reflections on the Work of C.A.R. Hoare

Jones, Cliff B.; Roscoe, A.W.; Wood, Kenneth R.

Details

Published by: Springer

Publication Date: 2014-11-22

Format: Paperback

ISBN-13: 9781447161523

DOI: 10.1007/978-1-84882-912-1

Dimensions: 235cm x155cm

Pages: 430