Kniha momentálne nie je na sklade
Viac o knihe
Focusing on the importance of system specifications, this book encapsulates over 25 years of expertise from a leading computer scientist. It emphasizes the necessity of understanding a system before implementation, introducing the Temporal Logic of Actions (TLA) as a precise method for specification. TLA+ is the developed language for these mathematical specifications, utilized successfully by companies like Intel. The book is structured into four parts, catering to both novice programmers and advanced users, while also serving as a comprehensive reference for TLA+ and its tools.
Nákup knihy
Specifying Systems, Leslie Lamport
- Jazyk
- Rok vydania
- 2002
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Specifying Systems
- Podtitul
- The Tla+ Language and Tools for Hardware and Software Engineers
- Jazyk
- anglicky
- Autori
- Leslie Lamport
- Vydavateľ
- Pearson Education
- Rok vydania
- 2002
- Väzba
- mäkká
- Počet strán
- 384
- ISBN13
- 9780321143068
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- Focusing on the importance of system specifications, this book encapsulates over 25 years of expertise from a leading computer scientist. It emphasizes the necessity of understanding a system before implementation, introducing the Temporal Logic of Actions (TLA) as a precise method for specification. TLA+ is the developed language for these mathematical specifications, utilized successfully by companies like Intel. The book is structured into four parts, catering to both novice programmers and advanced users, while also serving as a comprehensive reference for TLA+ and its tools.