- 1. An Introduction to Practical Formal Methods Using Temporal Logic (тип: электронная)
- 2. An Introduction to Practical Formal Methods Using Temporal Logic (тип: электронная)
- 1. An Introduction to Practical Formal Methods Using Temporal Logic (тип: электронная)
- 2. An Introduction to Practical Formal Methods Using Temporal Logic (тип: электронная)
- 1. An Introduction to Practical Formal Methods Using Temporal Logic (тип: электронная)
- 2. An Introduction to Practical Formal Methods Using Temporal Logic (тип: электронная)