Automated Technology for Verification and Analysis
10th International Symposium, Atva 2012, Thiruvananthapuram, India, October 3-6, 2012, Proceedings
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2012
نویسنده
Supratik Chakrabortyنویسنده
Supratik Chakrabortyناشر
Springerناشر
Springerشابک
9783642333859
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران