دانلود کتاب Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985
by J. A. Bergstra, J. W. Klop (auth.), Wolfgang Bibel, Klaus P. Jantke (eds.)
|
عنوان فارسی: روش های ریاضی مشخصات و سنتز سیستم های نرم افزاری 85: مجموعه مقالات مدرسه بین المللی بهار وندیش ریتز ، GDR ، 22 تا 26 آوریل 1985 |