Piton: A Mechanically Verified Assembly-Level Language - Automated Reasoning Series - J Strother Moore - Kirjat - Springer - 9789401737913 - torstai 3. lokakuuta 2013
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

J Strother Moore

Hinta
€ 65,49

Tilattu etävarastosta

Arvioitu toimitus ma 28. loka - ke 6. marras
Lisää iMusic-toivelistallesi

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä torstai 3. lokakuuta 2013
ISBN13 9789401737913
Tuottaja Springer
Sivujen määrä 320
Mitta 155 × 235 × 17 mm   ·   467 g
Kieli English