شماره ركورد

59020

شماره مدرك

4391294

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

Rolf Drechsler

عنوان

Formal Modeling and Verification of Cyber-Physical Systems

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783658099930;9783658099947