Introduction to Practical Formal Methods Using Temporal Logic
ID 35e55a67-4d36-4dec-9007-7a60f252e387
Показано мовою оригіналу.
Score
No votes yet.
Sign in to vote.
Коротко
- Тип
- Book
- Open Library
- OL21464592W
- Написано мовою
- Невідомо
- Переклади
- Перекладів поки немає.
- Файли
- Файлів поки немає.
Творці
Організації
Поки нічого немає.
Ідентифікатори
У вигадці
Поки нічого немає.