Piton: A Mechanically Verified Assembly-Level Language - Automated Reasoning Series - J Strother Moore - Books - Springer - 9789401737913 - October 3, 2013
In case cover and title do not match, the title is correct

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

J Strother Moore

Price
CA$ 88.49

Ordered from remote warehouse

Expected delivery Oct 31 - Nov 13
Add to your iMusic wish list

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

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

Media Books     Paperback Book   (Book with soft cover and glued back)
Released October 3, 2013
ISBN13 9789401737913
Publishers Springer
Pages 320
Dimensions 155 × 235 × 17 mm   ·   467 g
Language English