Specifying systems : The TLA+ language and tools for hardware and software engineers
This book presents a rigorous introduction to formal specification using the Temporal Logic of Actions (TLA+). It explains how to model, reason about, and verify complex concurrent and distributed systems. The author emphasizes practical methods for preventing design errors before implementation. Th...
সংরক্ষণ করুন:
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | গ্রন্থ |
| ভাষা: | Vietnamese |
| প্রকাশিত: |
Boston
Addison-Wesley
2003
|
| বিষয়গুলি: | |
| ট্যাগগুলো: |
ট্যাগ যুক্ত করুন
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Nam Cần Thơ |
|---|
| সংক্ষিপ্ত: | This book presents a rigorous introduction to formal specification using the Temporal Logic of Actions (TLA+). It explains how to model, reason about, and verify complex concurrent and distributed systems. The author emphasizes practical methods for preventing design errors before implementation. Through clear examples, the book shows how formal specifications improve system reliability and correctness. |
|---|---|
| দৈহিক বর্ননা: | xvii, 364 p. 24 cm |
| গ্রন্থ-পঞ্জী: | Includes bibliographical references and index |
| আইসবিএন: | 9780321143068 |