شماره ركورد

12781

شماره مدرك

4365732

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

Daniel P. Friedman

عنوان

The Little Prover (Handheld Programming)

اطلاعات نشر

MIT

سال نشر

2015

شابك

9780262527958