Výsledky vyhledávání - Specifying and Verifying and Reasoning about Programs—Mechanical verification General Terms
Pro Váš dotaz - Specifying and Verifying and Reasoning about Programs—Mechanical verification General Terms - nebyl nalezen žádný výsledek.
Více výsledků můžete získat úpravou Vašeho dotazu.
- Boolovské operátory je třeba zapisovat VELKÝMI PÍSMENY: Specifying AND Verifying AND Reasoning about Programs—Mechanical verification General Terms.
- 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 General Terms*.