เครื่องมือในทางปฏิบัติเพื่อช่วยให้นักเรียนเข้าใจวิธีการเขียนโปรแกรมแบบคลาสสิกอย่างลึกซึ้งตามข้อกําหนด invariants ห่วงและการสลายตัวเป็นหัวข้อย่อย
ประวัติรุ่น
- เวอร์ชัน 1.1 โพสต์เมื่อ 2007-09-07
การแก้ไขและการอัปเดตหลายรายการ - เวอร์ชัน 1.1 โพสต์เมื่อ 2007-09-07
รายละเอียดหลักสูตร
- ประเภท: ศึกษา > อื่นๆ
- Publisher: mpvs.sf.net
- ใบ อนุญาต: ฟรี
- ราคา: N/A
- เวอร์ชัน: 1.1
- แพ ลตฟอร์ม: linux