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

Program Proofs

価格
¥ 10.738
税抜

遠隔倉庫からの取り寄せ

発送予定日 年6月1日 - 年6月16日
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