Piton: A Mechanically Verified Assembly-Level Language - Automated Reasoning Series - J Strother Moore - Livros - Springer - 9789401737913 - 3 de outubro de 2013
Caso a capa e o título não sejam correspondentes, considere o título como correto

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

J Strother Moore

Preço
€ 62,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 29 de out - 7 de nov
Adicione à sua lista de desejos do 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

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 3 de outubro de 2013
ISBN13 9789401737913
Editoras Springer
Páginas 320
Dimensões 155 × 235 × 17 mm   ·   467 g
Idioma English