PiET เป็นเครื่องมือตรวจสอบสําหรับสิบความเท่าเทียมกันของพฤติกรรมสําหรับ Pi Calculus
ประวัติรุ่น
- เวอร์ชัน Piet%201.0 โพสต์เมื่อ 2006-09-29
การแก้ไขและการอัปเดตหลายรายการ - เวอร์ชัน Piet 1.0 โพสต์เมื่อ 2006-09-29
รายละเอียดหลักสูตร
- ประเภท: ศึกษา > อื่นๆ
- Publisher: piet.sf.net
- ใบ อนุญาต: ฟรี
- ราคา: N/A
- เวอร์ชัน: 1.0
- แพ ลตฟอร์ม: windows