Výsledky vyhľadávania - Specifying and Verifying and Reasoning about Programs—Mechanical verification
Pre váš dotaz - Specifying and Verifying and Reasoning about Programs—Mechanical verification - nebol nájdený žiadny výsledok.
Môžete skúsiť použiť niektoré 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 vyhľadávania).: 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*.