دانلود کتاب Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers
by Leslie Lamport
|
عنوان فارسی: مشخص سیستم ها: TLA + زبان و ابزار برای سخت افزار و نرم افزار مهندسین |
دانلود کتاب
درباره نویسنده
![](https://upload.wikimedia.org/wikipedia/commons/thumb/5/50/Leslie_Lamport.jpg/39px-Leslie_Lamport.jpg)