ผู้เขียน: Leonore D. Zuck สนับสนุน1 หนังสืออิเล็กทรอนิกส์โดย Leonore D. Zuck Francesco Logozzo & Doron A. Peled: Verification, Model Checking, and Abstract Interpretation … PDF อังกฤษ DRM €57.54 0 0 เช็คเอาท์ 0,00 × × × เปลี่ยนภาษาของผู้ใช้ × ภาษาอาหรับเยอรมันอังกฤษสเปนฝรั่งเศสภาษาฮินดีชาวอินโดนีเซียอิตาลีภาษามลายูดัตช์ภาษาโปแลนด์ภาษาโปรตุเกสภาษาโรมาเนียภาษารัสเซียภาษาสวีเดนภาษาไทยภาษาตุรกีภาษายูเครนภาษาเวียดนามภาษาจีนInternational Modal ×
