شماره ركورد

23652

شماره مدرك

4379599

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

Marco Bernardo

عنوان

Formal Methods for Dynamical Systems

اطلاعات نشر

Springer

سال نشر

2013

شابك

9783642388743;9783642388736