Recomienda este artículo a tus amigos:
Piton: A Mechanically Verified Assembly-Level Language - Automated Reasoning Series J Strother Moore Softcover reprint of the original 1st ed. 1996 edition
Piton: A Mechanically Verified Assembly-Level Language - Automated Reasoning Series
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 3 de octubre de 2013 |
| ISBN13 | 9789401737913 |
| Editores | Springer |
| Páginas | 320 |
| Dimensiones | 155 × 235 × 17 mm · 467 g |
| Lengua | Inglés |