ส่งซอฟต์แวร์

โปรแกรมตาม mpvs.sf.net

  • MPVS ฟรี

    เครื่องมือในทางปฏิบัติเพื่อช่วยให้นักเรียนเข้าใจวิธีการเขียนโปรแกรมแบบคลาสสิกอย่างลึกซึ้งตามข้อกําหนด invariants ห่วงและการสลายตัวเป็นหัวข้อย่อย