
Verified Software. Theories, Tools, and Experiments
8th International Conference, Vstte 2016, Toronto, On, Canada, July 17 18, 2016, Revised Selected Papers
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2016
نویسنده
Marsha Chechikنویسنده
Marsha Chechikناشر
Springerناشر
Springerشابک
9783319488684
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران