Specification and Proof in Real Time CSP

Häftad, Engelska, 2012

Av Jim (University of Oxford) Davies, Jim Davies

1 109 kr

Beställningsvara. Skickas inom 5-8 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
Computing systems are becoming highly complex, harder to understand, and therefore more prone to failure. It is important therefore that we are able to employ mathematical techniques to specify the behaviour of critical safety systems. The research contained in this book represents work on the specification and verification of real-time systems.

Produktinformation

Mer från samma serie

Affine Analysis of Image Sequences

Affine Analysis of Image Sequences

Larry S. (University of Oxford) Shapiro, Larry S. Shapiro

689 kr

Efficient Algorithms for Listing Combinatorial Structures

Efficient Algorithms for Listing Combinatorial Structures

Leslie Ann Goldberg, Peru) Goldberg, Leslie Ann (Sandia National Laboratories, Goldberg Leslie Ann

669 kr

Three-Dimensional Integrated Circuit Layout

Three-Dimensional Integrated Circuit Layout

A. C. Harter, A. C. (University of Cambridge) Harter, Andrew Harter

739 kr

A Modular and Extensible Network Storage Architecture

A Modular and Extensible Network Storage Architecture

Sai Lai Lo

799 kr

Three-Dimensional Integrated Circuit Layout

Three-Dimensional Integrated Circuit Layout

A. C. (University of Cambridge) Harter, A. C. Harter, Andrew Harter

1 979 kr

Efficient Algorithms for Listing Combinatorial Structures

Efficient Algorithms for Listing Combinatorial Structures

Peru) Goldberg, Leslie Ann (Sandia National Laboratories, Leslie Ann Goldberg

2 259 kr

The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot

The Map-Building and Exploration Strategies of a Simple Sonar-Equipped Mobile Robot

D. C. (University of Oxford) Lee, D. C. Lee, David Lee

669 kr

Qualified Types

Qualified Types

Mark P. (University of Nottingham) Jones, Mark P. Jones

689 kr

A Modular and Extensible Network Storage Architecture

A Modular and Extensible Network Storage Architecture

Sai Lai Lo, Sai-Lai Lo

1 979 kr

Axiomatic Domain Theory in Categories of Partial Maps

Axiomatic Domain Theory in Categories of Partial Maps

Marcelo P. (University of Edinburgh) Fiore, Marcelo P. Fiore

739 kr

Du kanske också är intresserad av

Three-Dimensional Integrated Circuit Layout

Three-Dimensional Integrated Circuit Layout

A. C. Harter, A. C. (University of Cambridge) Harter, Andrew Harter

739 kr

Modelling Auditory Processing and Organisation

Modelling Auditory Processing and Organisation

Martin Cooke

619 kr

Axiomatic Domain Theory in Categories of Partial Maps

Axiomatic Domain Theory in Categories of Partial Maps

Marcelo P. (University of Edinburgh) Fiore, Marcelo P. Fiore

739 kr

Affine Analysis of Image Sequences

Affine Analysis of Image Sequences

Larry S. (University of Oxford) Shapiro, Larry S. Shapiro

689 kr

Integrated Formal Methods

Integrated Formal Methods

Jim Davies, Jeremy Gibbons

1 449 kr

A Modular and Extensible Network Storage Architecture

A Modular and Extensible Network Storage Architecture

Sai Lai Lo, Sai-Lai Lo

1 979 kr

Logic Programming

Logic Programming

British Columbia) Andrews, James H. (Simon Fraser University, J. Andrews, James H. Andrews

689 kr

A Compositional Approach to Performance Modelling

A Compositional Approach to Performance Modelling

Jane (University of Edinburgh) Hillston, Jane Hillston, Hillston Jane

739 kr

Efficient Algorithms for Listing Combinatorial Structures

Efficient Algorithms for Listing Combinatorial Structures

Peru) Goldberg, Leslie Ann (Sandia National Laboratories, Leslie Ann Goldberg

2 259 kr

Modelling Auditory Processing and Organisation

Modelling Auditory Processing and Organisation

Martin (University of Sheffield) Cooke, Martin Cooke

689 kr

Tillhör följande kategorier