Piton: A Mechanically Verified Assembly-Level Language - Automated Reasoning Series - J Strother Moore - Libros - Springer - 9789401737913 - 3 de octubre de 2013
En caso de que portada y título no coincidan, el título será el correcto

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

J Strother Moore

Precio
€ 61,99

Pedido desde almacén remoto

Entrega prevista 29 de oct. - 7 de nov.
Añadir a tu lista de deseos de iMusic

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

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 English