شماره ركورد

32244

شماره مدرك

4393020

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

Christiano Braga

عنوان

Formal Methods: Foundations and Applications

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783319150741;9783319150758