دانلود کتاب Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings
by David Lorge Parnas (auth.)
|
عنوان فارسی: روش مجتمع رسمی: 5 کنفرانس بین المللی، IFM 2005، آیندهوون، هلند، 29 نوامبر - دسامبر 2، 2005. مجموعه مقالات |