Mathematical Methods of Specification and Synthesis of Software Systems '85
Subtitle: Proceedings of the International Spring School, Held in Wendisch-Rietz , April 22-26 1985
Publisher: de Gruyter GmbH, Walter
Published: 1987
Language: eng
Number of pages: 250
ISBN-13: 9783112733417