دانلود کتاب FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings
by R. J. R. Back
|
عنوان فارسی: FME 94: مزایای صنعتی روش های رسمی: دومین همایش بین المللی روش های رسمی اروپا بارسلونا، اسپانیا، 24-28 اکتبر، 1994 پرونده ها |