PiET jest narzędziem weryfikacji dziesięciu równoważności behawioralnych dla rachunku Pi.
historia wersji
- Wersja Piet%201.0 opublikowany na 2006-09-29
Kilka poprawek i aktualizacji - Wersja Piet 1.0 opublikowany na 2006-09-29
Szczegóły programu
- Kategorii: Edukacji > Innych
- Wydawca: piet.sf.net
- Licencji: Wolna
- Cena: N/A
- Wersja: 1.0
- Platformy: windows