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

K. Rustan M. Leino
Program Proofs

価格
¥ 10.964
税抜

遠隔倉庫からの取り寄せ

発送予定日 年7月23日 - 年8月11日
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 )