- Tytuł:
- Logika i formalna weryfikacja systemów komputerowych. Kilka uwag
- Autorzy:
- Trzęsicki, K.
- Data publikacji:
- 2009
- Słowa kluczowe:
-
logika
weryfikacja
metoda teorio-dowodowa
sprawdzanie za pomocą modelu
logic
verification
proof-theoretical method
model checking - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł