QiiTimeJan 6, 2020
QiiTime は Qiita/Qiitadon の同人サークル Qithub のコラボ作品です。詳細は https://qiitadon.com/@QiiTime/101306011841057999 へ。コラボ・メンバー募集中！  #2020_01 #2020_01_07 #2020_01_07_01
Show threadQithub(bot)

🆕 新着Qiita記事をお知らせします。​

​『【形式手法】形式手法入門 VDM++チュートリアルをやってみた』
https://qiita.com/fucha/items/f21244437439f92ed039 by @fucha @​Qiita

#vdm_plus__plus__qiita #形式手法_qiita #形式手法入門チュートリアル_qiita

【形式手法】形式手法入門 VDM++チュートリアルをやってみた - Qiita

# チュートリアル資料 　以下サイトから、チュートリアルのドキュメントと、チュートリアルで使用する演習問題がダウンロードできます。 [形式手法入門 VDM++チュートリアル（IPA）](https://www.ipa.go.jp/s...

Jan 6, 2020 at 3:57pmWeb