Výsledky vyhledávání - Specifying and Verifying and Reasoning about Programs—Mechanical verification
Pro Váš dotaz - Specifying and Verifying and Reasoning about Programs—Mechanical verification - nebyl nalezen žádný výsledek.
Můžete zkusit použít některé podobné tvary:
Více výsledků můžete získat úpravou Vašeho dotazu.
- Vyhledávání s použitím zástupných znaků ('*', '?') může vrátit více výsledků (fuzzy vyhledávání).: Specifying and Verifying and Reasoning about Programs—Mechanical verification~.
- Boolovské operátory je třeba zapisovat VELKÝMI PÍSMENY: Specifying AND Verifying AND Reasoning about Programs—Mechanical verification.
- Použití zástupných znaků (*, ?) může pomoci při hledání více tvarů slov: Specifying and Verifying and Reasoning about Programs—Mechanical verification*.