Piton: A Mechanically Verified Assembly-Level Language - Automated Reasoning Series - J Strother Moore - Boeken - Springer - 9789401737913 - 3 oktober 2013
Indien omslag en titel niet overeenkomen, is de titel correct

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

J Strother Moore

Prijs
€ 62,99

Besteld in een afgelegen magazijn

Verwachte levering 29 okt. - 7 nov.
Voeg toe aan uw iMusic-verlanglijst

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 Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 3 oktober 2013
ISBN13 9789401737913
Uitgevers Springer
Pagina's 320
Afmetingen 155 × 235 × 17 mm   ·   467 g
Taal en grammatica Engels