Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985

Bibel, Wolfgang; Jantke, Klaus P.

Details

Published by: Springer

Publication Date: 1986-06-01

Format: Paperback

ISBN-13: 9783540164449

DOI: 10.1007/3-540-16444-8

Dimensions: 279.0cm x216.0cm

Pages: 248.0