Praktyczne narzędzie, które pomaga uczniom dogłębnie zrozumieć klasyczną metodologię programowania opartą na specyfikacjach, invariants pętli i rozkładu w podproblemach.
historia wersji
- Wersja 1.1 opublikowany na 2007-09-07
Kilka poprawek i aktualizacji - Wersja 1.1 opublikowany na 2007-09-07
Szczegóły programu
- Kategorii: Edukacji > Innych
- Wydawca: mpvs.sf.net
- Licencji: Wolna
- Cena: N/A
- Wersja: 1.1
- Platformy: linux