Abstract Software Specifications: 1979 Copenhagen Winter School, January 22 - February 2, 1979. Proceedings

Bjorner, D.

Details

Published by: Springer

Publication Date: 1980-06-01

Format: Paperback

ISBN-13: 9783540100072

DOI: 10.1007/3-540-10007-5

Dimensions: 235.0cm x155.0cm

Pages: 572.0