Mathematics of Program Construction: 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings

Boiten, Eerke A.; Möller, Bernhard

Details

Published by: Springer

Publication Date: 2002-06-26

Format: Paperback

ISBN-13: 9783540438571

DOI: 10.1007/3-540-45442-X

Dimensions: 235.0cm x155.0cm

Pages: 263.0