開發者 mpvs.sf.net

實用工具，幫助學生深刻理解基於規範、迴圈不變量和分解為子問題的經典程式設計方法。