Additional information
Full Title | Mathematical Methods of Specification and Synthesis of Software Systems ‘85 Proceedings of the International Spring School, held in Wendisch-Rietz (GDR), April 22–26, 1985 1st Edition |
---|---|
Author(s) | |
Edition | 1st Edition |
ISBN | 9783112733417, 9783112733400 |
Publisher | De Gruyter |
Format | PDF and EPUB |