شماره ركورد
47192
شماره مدرك
4384557
نويسنده/تنالگان
Tiziana Margaria
عنوان
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
اطلاعات نشر
Springer
سال نشر
2014
شابك
9783662452318;9783662452301
Link To Document