شماره ركورد

28574

شماره مدرك

4379560

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

Einar Broch Johnsen

عنوان

Integrated Formal Methods

اطلاعات نشر

Springer

سال نشر

2013

شابك

9783642386121;9783642386138