Logic in Computer Science: Modelling and Reasoning about Systems
まだ評価がありません
Jan 24, 2007
·
英語
·
キンドル
(440 ページ)