Piton: A Mechanically Verified Assembly-Level Language - Automated Reasoning Series - J Strother Moore - Books - Springer - 9789401737913 - October 3, 2013
In case cover and title do not match, the title is correct

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

Price
HK$ 431
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 9 - 15

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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 Books     Paperback Book   (Book with soft cover and glued back)
Released October 3, 2013
ISBN13 9789401737913
Publishers Springer
Pages 320
Dimensions 155 × 235 × 17 mm   ·   467 g
Language English  

Mere med samme udgiver

See all of J Strother Moore ( e.g. Paperback Book )