Kniha momentálne nie je na sklade
Viac o knihe
Focusing on the complexities of programming interactive computing systems, this volume provides a comprehensive introduction to temporal logic as a specification tool for reactive systems. It presents a foundational understanding of the computational model for reactive programs, developed by renowned scholars Zohar Manna and Amir Pnueli. The text serves as an essential resource for those delving into the challenges of real-time, concurrent, and control systems, making it a valuable reference for both students and professionals in the field.
Nákup knihy
The Temporal Logic of Reactive and Concurrent Systems, Zohar Manna, Amir Pnueli
- Jazyk
- Rok vydania
- 2012
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- The Temporal Logic of Reactive and Concurrent Systems
- Podtitul
- Specification
- Jazyk
- anglicky
- Autori
- Zohar Manna, Amir Pnueli
- Vydavateľ
- Springer New York
- Vydavateľ
- 2012
- Väzba
- mäkká
- Počet strán
- 444
- ISBN13
- 9781461269502
- Kategórie
- Počítače, IT, programovanie
- Anotácia
- Focusing on the complexities of programming interactive computing systems, this volume provides a comprehensive introduction to temporal logic as a specification tool for reactive systems. It presents a foundational understanding of the computational model for reactive programs, developed by renowned scholars Zohar Manna and Amir Pnueli. The text serves as an essential resource for those delving into the challenges of real-time, concurrent, and control systems, making it a valuable reference for both students and professionals in the field.