PiET adalah alat pengesahan untuk sepuluh persamaan tingkah laku untuk Pi Calculus.
sejarah versi
- Versi Piet%201.0 diposkan pada 2006-09-29
Beberapa pembaikan dan pengemaskinian - Versi Piet 1.0 diposkan pada 2006-09-29
Butiran Atur Cara
- Kategori: Pendidikan > Lain
- Penerbit: piet.sf.net
- Lesen: Percuma
- Harga: N/A
- Versi: 1.0
- Platform: windows