An Introduction to Practical Formal Methods Using Temporal Logic
Майкл Фішер
2011
· 360 pp.
· Англійська
Середня: 0.00
| Автор | Майкл Фішер |
|---|---|
| Видавництво | Wiley. John Wiley & Sons, LTD |
| Перекладачі | |
| Категорії: | Наука, Навчальна і довідкова |
| ISBN | 9780470027882 |
| Рік видання | 2011 |
| Мова | Англійська |
| Кількість сторінок | 360 |
0
Користувачів прочитали
0
Користувачів планують прочитати
0
Оцінок
0
Відгуків написано
Користувачів прочитали
0
Користувачів планують прочитати
0
Оцінок
0
Відгуків написано
0
