Introduction to Practical Formal Methods Using Temporal Logic
ID 35e55a67-4d36-4dec-9007-7a60f252e387
Zobrazeno v původním jazyce.
Score
No votes yet.
Sign in to vote.
Přehled
- Typ
- Book
- Open Library
- OL21464592W
- Napsáno v jazyce
- Neznámé
- Překlady
- Zatím žádné překlady.
- Soubory
- Zatím žádné soubory.
Tvůrci
Organizace
Zatím nic.
Identifikátory
Ve fikci
Zatím nic.