دانلود کتاب Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings
by John Rushby (auth.)
|
عنوان فارسی: روش های رسمی: مبانی و کاربردها: 15 سمپوزیوم برزیل، SBMF 2012، ناتال، برزیل، 23-28 سپتامبر، 2012. مجموعه مقالات |