Piton: A Mechanically Verified Assembly-Level Language - Automated Reasoning Series - J Strother Moore - Livres - Springer - 9789401737913 - 3 octobre 2013
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

J Strother Moore

Prix
€ 62,99

Commandé depuis un entrepôt distant

Livraison prévue 29 oct. - 7 nov.
Ajouter à votre liste de souhaits 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

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