0 Item

Introduction to the Formal Design of Real-Time Systems

By: David F. Gray

Write A Review

Paperback

At a Glance

Paperback
478 Pages

Dimensions(cm)
23.39 x 15.6 x 2.44

Paperback

$105.19

or 4 interest-free payments of $26.30 with

Aims to ship in 7 to 10 business days

When will this arrive by?
Enter delivery postcode to estimate

but when we state that A 'equals' B , as well having to know what we mean by A and B we also have know what we mean by 'equals'. This section explores the role of observers; how different types of observ er see different things as being equal, and how we can produce algo rithms to decide on such equalities. It also explores how we go about writing specifications to which we may compare our SCCS designs. • The final section is the one which the students like best. Once enough of SCCS is grasped to decide upon the component parts of a design, the 'turning the handle' steps of composition and check ing that the design meets its specification are both error-prone and tedious. This section introduces the concurrency work bench, which shoulders most of the burden. How you use the book is up to you; I'm not even going to suggest path ways. Individual readers know what knowledge they seek, and course leaders know which concepts they are trying to impart and in what order.

Shipping

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

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 Science Systems Analysis & Design Computer Architecture & Logic Design Parallel Processing Computer Programming & Software Development Databases Data Capture & Analysis Digital Lifestyle & Online World: Consumer & User Guides Portable & Handheld Devices User Guides

Preface
Scene Set	p. 1
Concurrency and Communication	p. 47
Message Passing	p. 113
Synchronous Calculus of Communicating Systems	p. 139
Equivalence	p. 301
Automating SCCS	p. 333
Proving Things Correct	p. 379
End End Note	p. 433
Some of the More Useful SCCS Propositions	p. 435
Notation Used Throughout the Book	p. 441
References	p. 451
Index	p. 455
Table of Contents provided by Blackwell. All Rights Reserved.

Introduction to the Formal Design of Real-Time Systems

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Computer Architecture & Logic Design

Robotics Goes MOOC

Interaction

Making Embedded Systems

2nd Edition - Design Patterns for Great Software

Hands-On AWS CDK

Building Cloud Native Applications with Infrastructure-As-Code

Head First Software Architecture

A Learner's Guide to Architectural Thinking

Learning Opentelemetry

Setting Up and Operating a Modern Observability System

Kubernetes - Up and Running

Dive into the Future of Infrastructure

Computer Systems 3ed

A Programmer's Perspective, Global Edition

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

Learning Microsoft Power Automate

Improving Productivity for Business Processes and Workflows

Building Event-Driven Microservices

Leveraging Organizational Data at Scale

Architecture, Computing and the Second World War

From Crystallography to Digital Research in Architecture

Top-Down Network Design

3rd edition

Knowledge Management

3rd Edition - Systems and Processes in the AI Era

Building Recommendation Systems in Python and Jax

Hands-On Production Systems at Scale

Logic and Computer Design Fundamentals, Global Edition

5th edition

Robotics Goes MOOC

Impact

Technology Strategy Patterns

Analyzing and Communicating Architectural Decisions

The Real Internet Architecture

Past, Present, and Future Evolution

Introduction to Computer Organization

ARM Edition

Methods and Applications of Autonomous Experimentation

Chapman & Hall/CRC Computational Science

The Art of ARM Assembly, Volume 1

64-Bit ARM Machine Organization and Programming

Rust Atomics and Locks

Low-Level Concurrency in Practice

Quantum Resource Theory

An introduction

This product is categorised by