Piton: A Mechanically Verified Assembly-Level Language - Automated Reasoning Series - J Strother Moore - Książki - Springer - 9789401737913 - 3 października 2013
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

J Strother Moore

Cena
zł 269,90

Zamówione z odległego magazynu

Przewidywana dostawa 29 paź - 7 lis
Dodaj do swojej listy życzeń 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

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 3 października 2013
ISBN13 9789401737913
Wydawcy Springer
Strony 320
Wymiary 155 × 235 × 17 mm   ·   467 g
Język English