Hallo! Tracked shipping to Netherlands with Delivery Duty Paid for just €7 

Ship to
Netherlands
0

My Account

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menu

Select your country

Americas

Europe

Rest of the world

portada Piton: A Mechanically Verified Assembly-Level Language
Type
Physical Book
Author
Publisher
Language
English
Pages
320
Format
Paperback
Dimensions
23.4 x 15.6 x 1.8 cm
Weight
0.47 kg.
ISBN13
9789401737913
Categories

Piton: A Mechanically Verified Assembly-Level Language

J. Strother Moore (Author) · Springer · Paperback

Piton: A Mechanically Verified Assembly-Level Language - Moore, J. Strother

Cheaper New Book Imported to Netherlands
Delivery: 03 Sep - 10 Sep Shipping: 12 to 16 business days.
€ 54,17
Faster New Book Imported to Netherlands
Delivery: 21 Aug - 25 Aug Shipping: 4 to 5 business days.
€ 69,13
Import costs and 9% BTW included in the price ✅
€ 54,17

Choose the list to add your product or create one New List

Go to My Wishlists
Calculate shipping cost

Synopsis "Piton: A Mechanically Verified Assembly-Level Language"

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.

Customers reviews

More customer reviews
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Frequently Asked Questions about the Book

Is the book original?

All books in our catalog are Original.

In what language is the book written?

The book is written in English.

What is the format of this book?

The binding of this edition is Paperback.

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews