Fundamental Proof Methods in Computer Science
Arkoudas, Konstantine & David Musser年:
2017
出版社:
MIT Press
言語:
english
ISBN 10:
0262035537
ISBN 13:
9780262035538
ファイル:
PDF, 12.53 MB
IPFS:
,
english, 2017