Leslie Lamport
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
(No reviews yet)
Write a Review
- ISBN 13:
- 9780321143068
- author:
- Leslie Lamport
- format:
- Paperback
- publisher:
- Addison Wesley
- language:
- English
- Publication Year:
- 2002
- Pages:
- 364
- Dimensions:
- 230mm / 190mm
- Genre:
- Computer Science Textbook
- Condition:
- New
- Availability:
- Item usually sent within 2 working days
Description
Specifying Systems: A Foundation for Writing Mathematical Specifications
This comprehensive guide to writing specifications is the culmination of over 25 years of work by renowned computer scientist Leslie Lamport. It provides a mathematical foundation for describing systems, using the Temporal Logic of Actions (TLA+) language.
The book is divided into four parts, covering the basics of specification writing, advanced topics, and a reference manual for TLA+. With its focus on precision and clarity, this book is essential reading for engineers and programmers working on software or hardware projects.
Related Products
Related Products
Code: The Hidden Language of Computer Hardware and Software
Petzold, Charles
£22.79
Charles Petzold's Code explores the secret inner life of computers, revealing the unseen layers between the devices we use every day and the silicon rocks that power them. With clever illustrations...
Software Engineering in the Systems Context
None
£26.75
This book explores the role of software in the world's systems and its relationship with Systems Engineering. It examines key concepts and principles, approaches to development, complexity,...
Competitive Engineering: A Handbook For Systems Engineering, Requirements Engineering, and Software Engineering Using Planguage
Gilb, Tom
£42.84
Competitive Engineering: A Handbook For Systems Engineering, Requirements Engineering, and Software Engineering Using Planguage by Tom Gilb is a comprehensive guide to effective management and risk...
Software Engineer's Guide to Deep Learning System Design
Wang, Chi
£31.01
Designing Deep Learning Systems: A Software Engineer's Guide by Chi Wang and Donald Szeto is a vital resource for software engineers looking to build platforms that support deep learning models in...
Language: The Cultural Tool
Daniel Everett
£11.88
Language: The Cultural Tool by Daniel Leonard Everett presents a bold and provocative argument about the nature of language. According to Everett, language is not an innate component of the brain,...