شماره ركورد
61230
عنوان
Computer Aided Verification: 30th International Conference, CAV 2018 Held as Part of the Federated Logic Conference, FloC 2018 Oxford, UK, July 14–17, 2018 Proceedings, Part II
اطلاعات نشر
Switzerland Springer
سال نشر
2018
تعداد صفحه
553
شابك
9783319961422
زبان
انگليسي
موضوع
Computer Aided Verification
فايل ديجيتال
8205518
Link To Document