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

K. Rustan M. Leino
Program Proofs

価格
¥ 10.980
税抜

遠隔倉庫からの取り寄せ

発送予定日 年7月17日 - 年8月5日

お客様の声：

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

Mere med samme udgiver

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