Specifying Systems PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Specifying Systems PDF full book. Access full book title Specifying Systems by Leslie Lamport. Download full books in PDF and EPUB format.

Specifying Systems

Specifying Systems PDF Author: Leslie Lamport
Publisher: Addison-Wesley Professional
ISBN:
Category : Computers
Languages : en
Pages : 392

Book Description
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.
➤