We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£43.09
It has never been this cheap. We have no record of a lower price.
£43 today · cheaper than every other day in the last 3 months
Morgan & Claypool Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)
Price data last checked 45 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 46 days · 46 data points (no recent data)
Historical
Generating forecast…
Price data last checked 45 day(s) ago - refreshing...
NEW HERE?
Amazon shows you one price. We show you all of them.
Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.
WHAT'S ON THIS PAGE
↑ Price chart
when this has been cheap or pricey
when this has been cheap or pricey
↑ Forecast
where the price is heading next
where the price is heading next
↓ Statistics
all-time high & low, recent range
all-time high & low, recent range
↑ Price alert
name your number, we'll email you
name your number, we'll email you
Price Distribution
Price distribution over 46 days • 2 price levels
Current Price
Price Analysis
Most common price: £44 (32 days, 69.6%)
Price range: £43 - £44
Price levels: 2 different prices over 46 days
Description
Sir Tony Hoare has had an enormous influence on computer science, from the Quicksort algorithm to the science of software development, concurrency and program verification. His contributions have been widely recognised: He was awarded the ACM's Turing Award in 1980, the Kyoto Prize from the Inamori Foundation in 2000, and was knighted for "services to education and computer science" by Queen Elizabeth II of England in 2000. This book presents the essence of his various works-the quest for effective abstractions-both in his own words as well as chapters written by leading experts in the field, including many of his research collaborators. In addition, this volume contains biographical material, his Turing award lecture, the transcript of an interview and some of his seminal papers. Hoare's foundational paper "An Axiomatic Basis for Computer Programming", presented his approach, commonly known as Hoare Logic, for proving the correctness of programs by using logical assertions. Hoare Logic and subsequent developments have formed the basis of a wide variety of software verification efforts. Hoare was instrumental in proposing the Verified Software Initiative, a cooperative international project directed at the scientific challenges of large-scale software verification, encompassing theories, tools and experiments. Tony Hoare's contributions to the theory and practice of concurrent software systems are equally impressive. The process algebra called Communicating Sequential Processes (CSP) has been one of the fundamental paradigms, both as a mathematical theory to reason about concurrent computation as well as the basis for the programming language occam. CSP served as a framework for exploring several ideas in denotational semantics such as powerdomains, as well as notions of abstraction and refinement. It is the basis for a series of industrial-strength tools which have been employed in a wide range of applications. This book also presents Hoare's work in the last few decades. These works include a rigorous approach to specifications in software engineering practice, including procedural and data abstractions, data refinement, and a modular theory of designs. More recently, he has worked with collaborators to develop Unifying Theories of Programming (UTP). Their goal is to identify the common algebraic theories that lie at the core of sequential, concurrent, reactive and cyber-physical computations.
Product Specifications
- Brand
- Morgan & Claypool
- Format
- hardcover
- ASIN
- 1450387284
- Domain
- Amazon UK
- Release Date
- 30 September 2021
- Listed Since
- 14 October 2021
Barcode
No barcode data available
Similar Products You Might Like
97% match
Understanding Concurrent Systems (Texts in Computer Science)
Springer
£40.85
10 Sep 2026
97% match
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Springer
£59.58
12 Sep 2026
97% match
Concurrency Verification: Introduction to Compositional and Non-compositional Methods: 54 (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
Cambridge University Press
£109.69
05 Sep 2026
96% match
Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)
Wiley
£57.96
02 Oct 2026
96% match
Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
Springer
£44.66
23 Sep 2026
96% match
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (CRM Monograph Series)
£67.95
23 Sep 2026
96% match
STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings: 665 (Lecture Notes in Computer Science, 665)
Springer
£87.52
18 Sep 2026
96% match
Nature-Inspired Networking: Theory and Applications
CRC Press
£117.25
05 Sep 2026
95% match
Automatic Verification of Sequential Infinite-State Processes: 1354 (Lecture Notes in Computer Science, 1354)
Springer
£40.98
23 Sep 2026
95% match
Formal Methods in Computer Science (Textbooks in Mathematics)
CRC Press
£100.69
24 Sep 2026
95% match
Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs
VDM Verlag
£69.00
19 Sep 2026
95% match
Temporal Verification of Reactive Systems: Safety
Springer
£59.94
08 Sep 2026
95% match
Handbook of Process Algebra
Elsevier
£245.00
08 Sep 2026
95% match
Reflections on the Work of C.A.R. Hoare
Springer
£108.01
01 Oct 2026
95% match
A Process Algebraic Approach to Software Architecture Design
Springer
£39.77
23 Sep 2026
95% match
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Springer
£87.00
17 Sep 2026
95% match
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
MIT Press
£45.31
09 Sep 2026
95% match
Real-Time Embedded Systems (Quantitative Software Engineering Series)
Wiley
£90.86
10 Sep 2026
95% match
Directed Algebraic Topology and Concurrency (Springerbriefs in Applied Sciences and Technology / Springer)
Springer
£76.05
03 Oct 2026
95% match
Program Design Calculi: 118 (NATO ASI Subseries F:, 118)
Springer
£142.28
07 Sep 2026
95% match
Program Design Calculi: 118 (NATO ASI Subseries F:, 118)
Springer
£151.52
04 Sep 2026
95% match
Exploring New Frontiers of Theoretical Informatics: IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science ... and Communication Technology, 155)
Springer
£100.01
01 Oct 2026
95% match
Formalization of Complex Analysis and Matrix Theory
Springer
£100.11
19 Sep 2026
95% match
Specification and Verification of Multi-agent Systems - Springer
Springer
£109.09
03 Oct 2026