Edinburgh LCF: A Mechanized Logic of Computation - Lecture Notes in Computer Science - M. Gordon - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540097242 - 1979年12月1日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

M. Gordon
Edinburgh LCF: A Mechanized Logic of Computation - Lecture Notes in Computer Science 1979 edition

価格
¥ 3.955
税抜

遠隔倉庫からの取り寄せ

発送予定日 2026年1月14日 - 2026年1月26日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

161 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1979年12月1日
ISBN13 9783540097242
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 161
寸法 155 × 235 × 9 mm   ·   249 g
言語 英語  

M. Gordonの他の作品を見る

すべて表示

M. Gordonのすべてを見る ( 例： Paperback Book )