Program Proofs
Leinoปี:
2024
ฉบับพิมพ์ครั้งที่:
1
สำนักพิมพ์:
MIT Press
ภาษา:
english
จำนวนหน้า:
496
ไฟล์:
PDF, 23.76 MB
IPFS:
,
english, 2024