شماره ركورد
48620
شماره مدرك
4364114
نويسنده/تنالگان
Marco Bernardo
عنوان
Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication
اطلاعات نشر
Springer
سال نشر
2015
شابك
3319189409
Link To Document