本を探す
Scrapbox
「Daniel Jackson」の検索結果
抽象によるソフトウェア設計−Alloyではじめる形式手法−
blackbird
@golden_lucky
Software Abstractions: Logic, Language, and Analysis
ikep
