VDM++ 形式手法への誘い：Python 篇《著》小粒ちゃん＋∞《監修》小泉ひよ子とタマゴ倶楽部 第０版♪2000/04/03 ● 第１版♪2003/05/23 ● 第２版♪2006/10/01 ● 第３版♪2009/10/07《 前の記事｜次の記事 》関連記事 VDM++ に準拠する操作を実現することで、Python…