شماره ركورد

31853

شماره مدرك

4393202

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

Nikolaj Bjørner

عنوان

FM 2015: Formal Methods

اطلاعات نشر

Springer

سال نشر

2015

شابك

9783319192482;9783319192499