Program Proofs - K. Rustan M. Leino - 書籍 - MIT Press Ltd - 9780262546232 - 2023年3月7日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

K. Rustan M. Leino
Program Proofs

価格
¥ 10.802
税抜

遠隔倉庫からの取り寄せ

発送予定日 年9月9日 - 年10月6日
K. Rustan M. Leino の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

496 pages, 20 line drawings, 30 figures

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2023年3月7日
ISBN13 9780262546232
出版社 MIT Press Ltd
ページ数 496
寸法 181 × 228 × 26 mm   ·   778 g

同じ出版社からのその他の記事

K. Rustan M. Leinoのすべてを見る ( 例： Paperback Book )