Verified Software
Theorie, Tools, Experiments: 5th International Conference, Vstte 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2014
نویسنده
Andrey Rybalchenkoناشر
Springerشابک
9783642541070
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران