Formal Methods
Foundations and Applications: 15th Brazilian Symposium, Sbmf 2012, Natal, Brazil, September 23-28, 2012. Proceedings
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2012
نویسنده
David Naumannنویسنده
David Naumannناشر
Springerناشر
Springerشابک
9783642332951
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران