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
Wolfgang Bibel · Klaus P. Jantke
၁၉၈၇ ဇန် · Mathematical Researchစာအုပ် 31 · Walter de Gruyter GmbH & Co KG