Programy według mpvs.sf.net

Praktyczne narzędzie, które pomaga uczniom dogłębnie zrozumieć klasyczną metodologię programowania opartą na specyfikacjach, invariants pętli i rozkładu w podproblemach.