Lecture Notes in Computer Science: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings

Carreno, Victor A.; Munoz, Cesar A.; Tahar, Sofiene

Details

Published by: Springer

Publication Date: 2002-08-07

Format: Paperback

ISBN-13: 9783540440390

DOI: 10.1007/3-540-45685-6

Dimensions: 235cm x155cm

Pages: 347