CURRENTLY SOLD OUT

Piton: A Mechanically Verified Assembly-Level Language by J Strother Moore (Paperback, 2013)

About this product

Product Information

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.

Product Identifiers

Publisher
Springer
ISBN-13
9789401737913
eBay Product ID (ePID)
191140092

Product Key Features

Author
J Strother Moore
Publication Name
Piton: a Mechanically Verified Assembly-Level Language
Format
Paperback
Language
English
Subject
Computer Science, Mathematics
Publication Year
2013
Type
Textbook
Number of Pages
320 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Volume
3
Item Weight
510g

Additional Product Features

Title_Author
J Strother Moore
Series Title
Automated Reasoning Series
Country/Region of Manufacture
Netherlands

Best Selling in Adult Learning & University

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Permaculture: A Designer's Manual by Bill Mollison (Hardcover, 1988)
5.0 out of 5 stars based on 12 product ratings
AU $182.95 New
AU $79.95 Used
Australian Native Bee Book: Keeping Stingless Bee Hives for Pets, Pollination and Sugarbag Honey by Tim Heard (Paperback, 2015)
4.9 out of 5 stars based on 157 product ratings
AU $39.98 New
AU $31.50 Used
The Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by Adam Grubb, Annie Raser-Rowland (2012, Paperback)
4.8 out of 5 stars based on 88 product ratings
AU $19.95 New
AU $13.00 Used
Empire of the Summer Moon: Quanah Parker and the Rise and Fall of the Comanches, the Most Powerful Indian Tribe in American History by S.C. Gwynne (Paperback, 2011)
5.0 out of 5 stars based on 1 product rating
AU $31.33 New
---- Used
Botanical Field Guide by Stefan Mager (Fold-out book or chart, 2021)
4.5 out of 5 stars based on 4 product ratings
AU $15.00 New
---- Used
Linux Basics For Hackers: Getting Started with Networking, Scripting, and Security in Kali by OccupyTheWeb (Paperback, 2018)
5.0 out of 5 stars based on 1 product rating
AU $45.99 New
AU $30.00 Used
The Hundred Years' War on Palestine: A History of Settler Colonial Conquest and Resistance by Rashid I. Khalidi (Paperback, 2020)
5.0 out of 5 stars based on 1 product rating
AU $27.08 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

The Australian Native Bee Hive Book: Keeping Stingless Sugarbag OATH Tim Heard
AU $31.98
Trending at AU $35.57
Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by A
AU $19.95
Trending at AU $20.66
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $122.14
NEW The Red Book By Carl Jung Hardcover Free Shipping
AU $322.60
Trending at AU $335.56
The Indoctrinated Brain: How to Successfully Fend Off the Global Attack on Your
AU $49.95
Trending at AU $57.84
Classical Mechanics: The Theoretical Minimum by George Hrabovsky
AU $27.46
Trending at AU $31.59

Shop by category

Piton: A Mechanically Verified Assembly-Level Language by J Strother Moore (Paperback, 2013)

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

Best Selling in Adult Learning & University

Permaculture: A Designer's Manual by Bill Mollison (Hardcover, 1988)

Australian Native Bee Book: Keeping Stingless Bee Hives for Pets, Pollination and Sugarbag Honey by Tim Heard (Paperback, 2015)

The Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by Adam Grubb, Annie Raser-Rowland (2012, Paperback)

Empire of the Summer Moon: Quanah Parker and the Rise and Fall of the Comanches, the Most Powerful Indian Tribe in American History by S.C. Gwynne (Paperback, 2011)

Botanical Field Guide by Stefan Mager (Fold-out book or chart, 2021)

Linux Basics For Hackers: Getting Started with Networking, Scripting, and Security in Kali by OccupyTheWeb (Paperback, 2018)

The Hundred Years' War on Palestine: A History of Settler Colonial Conquest and Resistance by Rashid I. Khalidi (Paperback, 2020)

Save on Adult Learning & University

The Australian Native Bee Hive Book: Keeping Stingless Sugarbag OATH Tim Heard

Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by A

Netter Atlas of Human Anatomy: Classic Regional Approach

NEW The Red Book By Carl Jung Hardcover Free Shipping

The Indoctrinated Brain: How to Successfully Fend Off the Global Attack on Your

Classical Mechanics: The Theoretical Minimum by George Hrabovsky

You may also like

Paperback Language Course

Christopher Moore Paperback Fiction & Fiction Books

Alan Moore Fiction Paperback Fiction & Books

Paperback Language Course in French

English Language Courses Paperback

IELTS Paperback Language Course