Faites connaître cet article à vos amis:
Piton: A Mechanically Verified Assembly-Level Language - Automated Reasoning Series Softcover reprint of the original 1st ed. 1996 edition
J Strother Moore
Piton: A Mechanically Verified Assembly-Level Language - Automated Reasoning Series Softcover reprint of the original 1st ed. 1996 edition
J Strother Moore
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
Médias | Livres Paperback Book (Livre avec couverture souple et dos collé) |
Validé | 3 octobre 2013 |
ISBN13 | 9789401737913 |
Éditeurs | Springer |
Pages | 320 |
Dimensions | 155 × 235 × 17 mm · 467 g |
Langue et grammaire | English |
Voir tous les J Strother Moore ( par ex. Paperback Book )