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
$ 54.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 20 - 24
Get notified about new J Strother Moore releases

Our customers say:

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

Not rated yet

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 )