شماره ركورد

54519

شماره مدرك

4393752

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

Christel Baier

عنوان

Tools and Algorithms for the Construction and Analysis of Systems

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783662466803;9783662466810