شماره ركورد

51706

شماره مدرك

4393186

نويسنده/تنالگان

Marco Bernardo

عنوان

Formal Methods for Multicore Programming

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783319189406;9783319189413