PiET: Pi Calculus Equivalences Tester 1.0

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 5.0/5 - ‎1 ‎โหวต

PiET เป็นเครื่องมือตรวจสอบสําหรับสิบความเท่าเทียมกันของพฤติกรรมสําหรับ Pi Calculus

ประวัติรุ่น

  • เวอร์ชัน Piet%201.0 โพสต์เมื่อ 2006-09-29
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน Piet 1.0 โพสต์เมื่อ 2006-09-29

รายละเอียดหลักสูตร