Dines Bjorner 서적
1-20 의 20,000

Logics of Specification Languages - Dines BjornerMartin C. Henson

Logics of Specification Languages

Dines BjornerMartin C. Henson