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

Engineering Lakehouses with Open Table Formats

Build scalable and efficient lakehouses with Apache Iceberg, Apache Hudi, and Delta Lake

Parallel Computing

Design and Analysis of Algorithms

Fundamentals of Software Architecture

A Modern Engineering Approach

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Rust Atomics and Locks

Low-Level Concurrency in Practice

Kubernetes - Up and Running

Dive into the Future of Infrastructure

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

Deep Learning in Genome Mapping

Computation and Analysis

Constraints and Advanced Solutions for LTE-Advanced Heterogeneous Networks

Top-Down Network Design

3rd edition

Introduction to High Performance Computing for Scientists and Engineers

Chapman & Hall/CRC Computational Science

Data Mesh

Delivering Data-Driven Value at Scale

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Production Kubernetes

Building Successful Application Platforms

Flow Architectures

The Future of Streaming and Event-Driven Integration

Foundations of Scalable Systems

Designing Distributed Architectures

Learning Apache OpenWhisk

Developing Open Serverless Solutions

Monolith to Microservices

Evolutionary Patterns to Transform Your Monolith

Modern Concurrency in Java

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

Fundamentals of Metadata Management

Uncover the Meta Grid and Unlock Data, Information, and Knowledge Management

Streaming Data Pipelines with Apache Kafka

Kafka for Architects

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

ADAPTIVE ENTERPRISE ARCHITECTURE AS INFORMATION

Architecting Intelligent Enterprises

Practical Microservices

Build Event-Driven Architectures with Event Sourcing and CQRS

This product is categorised by