
×
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
herausgegeben von Wolfgang Bibel und Klaus P. JantkeNo detailed description available for "Mathematical Methods of Specification and Synthesis of Software Systems ‘85".