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

by Leslie Lamport

Book Overview

This book is the distillation of over 25 years of work by one of the world's most renowned computer scientists. A specification is a written description of what a system is supposed to do, plus a way of checking to make sure that it works. Specifying a system helps us understand it. It's a good idea to understand a system before building it, so it's a good idea to write a specification of a system before implementing it. The most effective tool...

• Format: Paperback
• Language: English
• ISBN: 032114306X
• ISBN13: 9780321143068
• Release Date: July 2002
• Publisher: Addison-Wesley Professional
• Length: 384 Pages
• Weight: 1.25 lbs.
• Dimensions: 1.0" x 7.3" x 9.2"