شماره ركورد :
16783
شماره مدرك :
3720324
نويسنده/تنالگان :
Fisher
عنوان :
An Introduction to Practical Formal Methods Using Temporal Logic
اطلاعات نشر :
Wiley
سال نشر :
2011
شابك :
9780470027882
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=26&DC=16783
