Specifying Systems

Specifying Systems
Author: Leslie Lamport
Publisher: Addison-Wesley Professional
Total Pages: 392
Release: 2003
Genre: Computers
ISBN:
GET BOOK

Download Specifying Systems Book in PDF, Epub and Kindle

Both a tutorial on specifying systems and a complete reference to TLA, this is the distillation of 25 years of work by a renowned computer scientist. Divided into four parts, the first part contains all that most programmers and engineers need to know about writing specifications. The second part has advanced material for more sophisticated readers. The third and fourth parts comprise a reference manual for TLA+--both the language itself as well as its tools.


Specifying Systems
Language: en
Pages: 392

Specifying Systems

Authors: Leslie Lamport
Categories: Computers
Type: BOOK - Published: 2003 - Publisher: Addison-Wesley Professional

GET EBOOK

Both a tutorial on specifying systems and a complete reference to TLA, this is the distillation of 25 years of work by a renowned computer scientist. Divided in
Specifying Message Passing and Time-Critical Systems with Temporal Logic
Language: en
Pages: 180

Specifying Message Passing and Time-Critical Systems with Temporal Logic

Authors: Ron Koymans
Categories: Computers
Type: BOOK - Published: 1992-12-14 - Publisher: Springer Science & Business Media

GET EBOOK

Free radicals, which are key intermediates in many thermal, photochemical and radiation processes, are important for a proper understanding of fundamental natur
All About Maude - A High-Performance Logical Framework
Language: en
Pages: 799

All About Maude - A High-Performance Logical Framework

Authors: Manuel Clavel
Categories: Computers
Type: BOOK - Published: 2007-07-19 - Publisher: Springer

GET EBOOK

Maude is a language and system based on rewriting logic. In this comprehensive account, you’ll discover how Maude and its formal tool environment can be used
Practical TLA+
Language: en
Pages: 234

Practical TLA+

Authors: Hillel Wayne
Categories: Computers
Type: BOOK - Published: 2018-10-11 - Publisher: Apress

GET EBOOK

Learn how to design complex, correct programs and fix problems before writing a single line of code. This book is a practical, comprehensive resource on TLA+ pr
Team and Collective Training Needs Analysis
Language: en
Pages: 509

Team and Collective Training Needs Analysis

Authors: Dr John Huddlestone
Categories: Technology & Engineering
Type: BOOK - Published: 2016-01-28 - Publisher: Ashgate Publishing, Ltd.

GET EBOOK

Military capability is delivered operationally at a team and collective level, be it a unit as small as a squad or section, or as large as a maritime task group