دانلود کتاب FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
by Nikolaj Bjørner
|
عنوان فارسی: FM 2015: روش های رسمی: 20 سمپوزیوم بین المللی، Oslo، نروژ، ژوئن 24-26، 2015، مجموعه مقالات |