Lecture Notes in Computer Science: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Jones, Cliff B.; Liu, Zhiming; Woodcock, Jim

Details

Published by: Springer

Publication Date: 2007-09-06

Format: Paperback

ISBN-13: 9783540752202

DOI: 10.1007/978-3-540-75221-9

Dimensions: 235cm x155cm

Pages: 542