On Concurrent Programming

By: Fred B. Schneider

Write A Review

Hardcover | 1 May 1997

At a Glance

Hardcover
496 Pages

Dimensions(cm)
24.77 x 16.51 x 3.81

Hardcover

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

Concurrent computing is gaining ground in interest as it becomes increasingly feasible to implement distributed computing across networks of workstations. This book, by one of the subject's leading figures, provides a comprehensive survey of the subject beginning with proposotional logic and concluding with concurrent programming. It is based on graduate courses taught at Cornell University and is designed to be used as a graduate text. There are exercises at the end of each chapter to extend and illustrate the main themes covered. Professor Schneier emphasizes the use of formal methods and assertional reasoning using notation and paradigms drawn from programming to drive the exposition. As a result, all those interested in studying concurrent computing will find this to be an invaluable approach to the subject.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Computer Science Computer Architecture & Logic Design Parallel Processing Computer Networking & Communications Computer Hardware

Other Editions and Formats

Paperback

Published: 30th September 2012

View Product

Preface
List of Figures
Introduction	p. 1
Formal Logic	p. 9
Temporal Logic	p. 55
Notation and Logic for Sequential Programming	p. 91
Concurrency and Interference	p. 135
Safety Properties: Invariance	p. 175
Safety Properties with Past Terms	p. 205
Verifying Arbitrary Temporal Logic Properties	p. 239
Programming with Fine-Grained Atomic Actions	p. 283
Semaphores, Locks, and Conditional Critical Regions	p. 337
Message Passing and Distributed Programming	p. 377
Putting It Together	p. 427
References	p. 435
Index	p. 451
Table of Contents provided by Blackwell. All Rights Reserved.

On Concurrent Programming

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Parallel Processing

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Fundamentals of Software Architecture

A Modern Engineering Approach

Parallel Computing

Design and Analysis of Algorithms

Site Reliability Engineering

How Google Runs Production Systems

Software Architecture: The Hard Parts

Modern Trade-Off Analyses for Distributed Architectures

Rust Atomics and Locks

Low-Level Concurrency in Practice

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Kubernetes - Up and Running

Dive into the Future of Infrastructure

Quantum Artificial Intelligence

Technologies, Algorithms and Programming

Deep Learning in Genome Mapping

Computation and Analysis

Introduction to High Performance Computing for Scientists and Engineers

Chapman & Hall/CRC Computational Science

Learning Apache OpenWhisk

Developing Open Serverless Solutions

Monolith to Microservices

Evolutionary Patterns to Transform Your Monolith

Production Kubernetes

Building Successful Application Platforms

Kafka for Architects

Event-driven Architecture, Logs, Microservices, Real-time Event Processing

Seeking SRE

Conversations about running production systems at scale

Microservices: Up and Running

A Step-by-Step Guide to Building a Microservice Architecture

Flow Architectures

The Future of Streaming and Event-Driven Integration

Modern System Administration

Managing Reliable and Sustainable Systems

Foundations of Scalable Systems

Designing Distributed Architectures

ADAPTIVE ENTERPRISE ARCHITECTURE AS INFORMATION

Architecting Intelligent Enterprises

Scaling Python with Dask

From Data Science to Machine Learning

Practical Microservices

Build Event-Driven Architectures with Event Sourcing and CQRS

Modern Concurrency in Java

A Deep Dive Into Virtual Threads, Structured Concurrency, and Scoped Values

This product is categorised by