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

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

Details

Published by: Springer

Publication Date: 2010-09-06

Format: Hardcover

ISBN-13: 9781848829114

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

Dimensions: 235cm x155cm

Pages: 430