شماره ركورد

24495

شماره مدرك

4379913

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

Lindsay Groves

عنوان

Formal Methods and Software Engineering

اطلاعات نشر

Springer

سال نشر

2013

شابك

9783642412028;9783642412011