- Tytuł:
-
Logika temporalna w informatyce
Temporal Logic in Computer Science - Autorzy:
- Trzęsicki, Kazimierz
- Data publikacji:
- 2010
- Wydawca:
- Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
- Tematy:
-
logika
informatyka
logika temporalna
weryfikowanie systemów informatycznych
logic
computer science
temporal logic
verification of software systems - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł