Piton: A Mechanically Verified Assembly-Level Language

Lingua: inglese

Editore: Kluwer Academic Publishers, 1996

0792339207 / 9780792339205

Da: World of Books Inc, Montgomery, IL, U.S.A.World of Books Inc

Venditore con 4 stelle

Venditore AbeBooks dal 23 marzo 2026

Rilegato

Condizione: Usato - Buono

EUR 100,81

 Spedizione gratuita 
Spedito in U.S.A.

Quantità: 1 disponibile

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

Mountaineers use pitons to protect themselves from falls. The lead climber wears a harness to which a rope is tied. As the climber ascends, the rope is paid out by a partner on the ground. As described thus far, the climber receives no protection from the rope or the partner. However, the climber generally carries several spike-like pitons and stops when possible to drive one into a small crack or crevice in the rock face. After climbing just above the piton, the climber clips the rope to the piton, using slings and carabiners. 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. The climber's safety clearly depends on all of the components of the system. But the piton is distinguished because it connects the natural to the artificial. In 1987 I designed an assembly-level language for Warren Hunt's FM8501 verified microprocessor. I wanted the language to be conveniently used as the object code produced by verified compilers. Thus, I envisioned the language as the first software link in a trusted chain from verified hardware to verified applications programs. Thinking of the hardware as the rock I named the language Piton.…

Codice articolo CIN0792339207G

Titolo
Piton: A Mechanically Verified Assembly-Level Language
Autore
J Strother Moore
Editore
Kluwer Academic Publishers
Anno di pubblicazione
1996
Condizione
Good
Rilegatura
Hardback
Lingua
inglese
ISBN 10
0792339207
ISBN 13
9780792339205

World of Books Inc

Montgomery, IL, U.S.A.

Venditore con 4 stelle

Venditore AbeBooks dal 23 marzo 2026

Tariffe di spedizione nazionale per U.S.A.

ArticoloDa 4 a 12 giorni lavorativiDa 3 a 6 giorni lavorativi
Primo articoloEUR 0,00EUR 9,75
I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Descrizione dello Store

Founded in 2002, World of Books is a leading online destination for buying and selling both preloved and new books, committed to making sustainable reading accessible to all. With a mission to help people read more and waste less, World of Books offers a huge range of affordable, high-quality books — giving both new and preloved titles a second life. The company also operates World of Books – Sell Your Books, an easy-to-use platform that allows customers to trade in unwanted books for cash, helping to keep books in circulation while promoting sustainability. As a Certified B Corp, World of Books is driven by a vision to become the world’s largest and most sustainable dedicated online bookstore. The company measures its success through the positive environmental impact it creates, the value it provides to customers, and its ability to operate profitably while supporting its sustainable mission …

Specializzazione

Second Hand - All Genre

Informazioni sull’azienda del venditore

SBYB, Inc.

900 Knell Road
Montgomery, IL U.S.A. 60538