Piton: A Mechanically Verified Assembly-Level Language

Idioma: inglés

Editorial: Kluwer Academic Publishers, 1996

0792339207 / 9780792339205

Librería: World of Books Inc, Montgomery, IL, Estados Unidos de AmericaWorld of Books Inc

Vendedor de 4 estrellas

Vendedor de IberLibro desde 23 de marzo de 2026

Tapa dura

Condición: Usado - Aceptable

EUR 91,88

 Gastos de envío gratis 
Se envía dentro de Estados Unidos de America

Cantidad disponible: 1 disponible

Añadir al carrito
Devoluciones gratuitas de 30 días

Descripción del artículo del vendedor

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.…

N° de ref. del artículo CIN0792339207G

Título
Piton: A Mechanically Verified Assembly-Level Language
Autor
J Strother Moore
Editorial
Kluwer Academic Publishers
Año de publicación
1996
Estado
Good
Encuadernación
Hardback
Idioma
inglés
ISBN 10
0792339207
ISBN 13
9780792339205

World of Books Inc

Montgomery, IL, Estados Unidos de America

Vendedor de 4 estrellas

Vendedor de IberLibro desde 23 de marzo de 2026

Tarifas de envío en Estados Unidos de America

ArtículoDe 4 a 12 días hábilesDe 3 a 6 días hábiles
Primer artículoEUR 0,00EUR 9,79
Los plazos de entrega los establecen los vendedores y varían según el transportista y la ubicación. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relación con cargos adicionales para cubrir cualquier aumento en los costes de envío de los artículos.

Métodos de pago

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

Descripción de la tienda

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 …

Especialidad

Second Hand - All Genre

Información empresarial del vendedor

SBYB, Inc.

900 Knell Road
Montgomery, IL Estados Unidos de America 60538