شماره ركورد
26842
شماره مدرك
4384558
نويسنده/تنالگان
Tiziana Margaria
عنوان
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
اطلاعات نشر
Springer
سال نشر
2014
شابك
9783662452349;9783662452332
Link To Document