شماره ركورد
14352
شماره مدرك
4364102
نويسنده/تنالگان
Nikolaj Bjorner
عنوان
FM 2015 - Formal Methods - 20th International Symposium 2015 (Lecture Notes in Computer Science)
اطلاعات نشر
Springer
سال نشر
2015
شابك
3319192485
Link To Document
https://search.isc.ac/dl/search/defaultta.aspx?DTC=26&DC=14352