Read Anywhere and on Any Device!

Subscribe to Read | $0.00

Join today and start reading your favorite books for Free!

Create Free Account

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

4.1/5 ( ratings)

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.

Language: English

Pages: 384

Format: Paperback

Publisher: Addison-Wesley Professional

Release: July 19, 2002

ISBN: 032114306X

ISBN 13: 9780321143068

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

4.1/5 ( ratings)

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.

Language: English

Pages: 384

Format: Paperback

Publisher: Addison-Wesley Professional

Release: July 19, 2002

ISBN: 032114306X

ISBN 13: 9780321143068

More books from Leslie Lamport

The La Tex Companions: Basic, Advanced, Graphics, Web

4.3/5 ( ratings)

LaTeX: A Document Preparation System (2nd Edition)

Das Latex Handbuch

Longman Classics: Adventures Of Sindbad the Sailor

Rate this book!

Write a review?