Ar
العربية
  1. Home page
  2. Catalog
  3. Books and Magazines
  4. الكتب
  5. التكنولوجيا والكمبيوتر
  6. Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings Paperback الإنجليزية by Dang Van Hung
أكتب مراجعة
Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings Paperback الإنجليزية by Dang Van Hung
Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings Paperback الإنجليزية by Dang Van Hung 2
شارك

Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings Paperback الإنجليزية by Dang Van Hung

0 المراجعات
نوصي
0 %
تقديرات المؤلفين
0
1
0
2
0
3
0
4
0
5
أكتب مراجعة
ترتيب حسب
تقييم
انشأ من قبل
أكتب مراجعة
Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings Paperback الإنجليزية by Dang Van Hung
Zoom
Automated Technology for Verification and Analysis: 18th International Symposium, Atva 2020, Hanoi, Vietnam, October 19-23, 2020, Proceedings Paperback الإنجليزية by Dang Van Hung
Zoom
أضف صورتك
Specifications
الدرجة
New
الكاتب 1
Dang Van Hung
رقم الكتاب المعياري الدولي 10
3030591514
رقم الكتاب المعياري الدولي 13
9783030591519
اللغة
English
الناشر
Springer