Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II) - Image 1

£43.94

Morgan & Claypool Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)

Name: Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)
Brand: Morgan & Claypool
Price: 43.94 GBP
Availability: InStock

Introduction to Programming

It has never been this cheap. We have no record of a lower price.

£44 today · cheaper than every other day in the last 6 months

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

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 78 days • 78 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 78 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £45 (62 days, 79.5%)

Price range: £44 - £45

Price levels: 2 different prices over 78 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
Category: Books > Subjects > Computing & Internet > Programming > Introduction to Programming
Domain: Amazon UK
Release Date: 30 September 2021
Listed Since: 14 October 2021

Barcode

No barcode data available

Morgan & Claypool Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Understanding Concurrent Systems (Texts in Computer Science)

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Concurrency Verification: Introduction to Compositional and Non-compositional Methods: 54 (Cambridge Tracts in Theoretical Computer Science, Series Number 54)

Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)

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

Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (CRM Monograph Series)

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)

Principles of Model Checking

Nature-Inspired Networking: Theory and Applications

Automatic Verification of Sequential Infinite-State Processes: 1354 (Lecture Notes in Computer Science, 1354)

Formal Methods in Computer Science (Textbooks in Mathematics)

Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs

Temporal Verification of Reactive Systems: Safety

Handbook of Process Algebra

Reflections on the Work of C.A.R. Hoare

A Process Algebraic Approach to Software Architecture Design

Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Principles of Cyber-Physical Systems

Real-Time Embedded Systems (Quantitative Software Engineering Series)

Directed Algebraic Topology and Concurrency (Springerbriefs in Applied Sciences and Technology / Springer)

Program Design Calculi: 118 (NATO ASI Subseries F:, 118)

Program Design Calculi: 118 (NATO ASI Subseries F:, 118)

Program Verification: Fundamental Issues in Computer Science: 14 (Studies in Cognitive Systems, 14)