Verifying Concurrent Processes Using Temporal Logic /
Verifying Concurrent Processes Using Temporal Logic / — المؤلف: Hailpern B — 1 — Berlin Springer : 1982. — عدد النسخ: 1
- المؤلف
- Hailpern B
- الطبعة
- 1
- النشر
- Berlin Springer : 1982.
- الوصف
- 208 Pages ;
- الموضوعات
- Computers Programs
- النسخ
- 1