Piton: A Mechanically Verified Assembly-Level Language - Automated Reasoning Series - J Strother Moore - 書籍 - Springer - 9789401737913 - 2013年10月3日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

J Strother Moore
Piton: A Mechanically Verified Assembly-Level Language - Automated Reasoning Series Softcover reprint of the original 1st ed. 1996 edition

価格
¥ 8.916
税抜

遠隔倉庫からの取り寄せ

発送予定日 年9月16日 - 年9月28日
J Strother Moore の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

A subsequent fall would result in the climber hanging from the piton-if the piton stays in the rock, the slings and carabiners do not fail, the rope does not break, the partner is holding the rope taut and secure, and the climber had not climbed too high above the piton before falling.

332 pages, 18 black & white illustrations, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2013年10月3日
ISBN13 9789401737913
出版社 Springer
ページ数 320
寸法 155 × 235 × 17 mm   ·   467 g
言語 英語  

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

J Strother Mooreのすべてを見る