Specifying Systems: The TLA+ Language and Tools for Hardware

Description Specifications
Description
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

This work shows how to write unambiguous specifications of complex computer systems. The first part provides a concise and lucid introduction to specification, explaining how to describe, with mathematical precision, the behavioural properties of a system - what that system is allowed to do. The emphasis here is on safety properties. The second part covers more advanced topics, including liveness and fairness, real time properties, and composition. The books final two parts provide a complete reference manual for the TLA+ language and tools, as well as a mini-manual.

Country	USA
Brand	Addison Wesley
Manufacturer	Addison-Wesley Professional
Binding	Paperback
ItemPartNumber	Illustrations
Model	Illustrations
Color	Black
ReleaseDate	2002-07-29
UnitCount	1
UPCs	076092021339
EANs	9780321143068

Practical TLA+: Planning Driven Development

A Philosophy of Software Design

The Little Typer (The MIT Press)

Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Software Abstractions: Logic, Language, and Analysis (The MIT Press)

BPF Performance Tools (Addison-Wesley Professional Computing Series)

Streaming Systems: The What, Where, When, and How of Large-Scale Data Processing

The Little Prover (The MIT Press)

The Rust Programming Language

An Elegant Puzzle: Systems of Engineering Management

Practical TLA+: Planning Driven Development

A Philosophy of Software Design

The Little Typer (The MIT Press)

Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Software Abstractions: Logic, Language, and Analysis (The MIT Press)

BPF Performance Tools (Addison-Wesley Professional Computing Series)

Streaming Systems: The What, Where, When, and How of Large-Scale Data Processing

The Little Prover (The MIT Press)

The Rust Programming Language

An Elegant Puzzle: Systems of Engineering Management

Practical TLA+: Planning Driven Development

A Philosophy of Software Design

The Little Typer (The MIT Press)

Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

Software Abstractions: Logic, Language, and Analysis (The MIT Press)

BPF Performance Tools (Addison-Wesley Professional Computing Series)

Streaming Systems: The What, Where, When, and How of Large-Scale Data Processing

The Little Prover (The MIT Press)

The Rust Programming Language

An Elegant Puzzle: Systems of Engineering Management

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers