ผู้เขียน: The Netherlands) Nederpelt Rob (Technische Universiteit Eindhoven สนับสนุน1 หนังสืออิเล็กทรอนิกส์โดย The Netherlands) Nederpelt Rob (Technische Universiteit Eindhoven Herman Geuvers & Rob Nederpelt: Type Theory and Formal Proof … PDF อังกฤษ DRM €86.30 0 0 เช็คเอาท์ 0,00 × × × เปลี่ยนภาษาของผู้ใช้ × ภาษาอาหรับเยอรมันอังกฤษสเปนฝรั่งเศสภาษาฮินดีชาวอินโดนีเซียอิตาลีภาษามลายูดัตช์ภาษาโปแลนด์ภาษาโปรตุเกสภาษาโรมาเนียภาษารัสเซียภาษาสวีเดนภาษาไทยภาษาตุรกีภาษายูเครนภาษาเวียดนามภาษาจีนInternational Modal ×
