『実践TLA+』 - pogi-log

『実践TLA+』

実践TLA+（Hillel Wayne 株式会社クイープ株式会社クイープ）｜翔泳社の本

実践TLA+【PDF版】｜ SEshop.com ｜翔泳社の通販

#形式手法 #TLA+ #文献