دانلود کتاب Formal Methods and Software Development: Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT) Berlin, March 25–29, 1985
by Christiane Floyd (auth.)
|
عنوان فارسی: روش های رسمی و توسعه نرم افزار: مجموعه مقالات کنفرانس بین المللی مشترک در تئوری و عمل از توسعه نرم افزار (TAPSOFT) برلین، 25-29 مارس، 1985 |