PiET: Pi Calculus Equivalences Tester 1.0

Lesen: Percuma ‎Saiz fail: N/A
‎Penarafan Pengguna: 5.0/5 - ‎1 ‎Undi

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