Výsledky vyhledávání - "Computer logic Congresses."
Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
-
1
Formal logical methods for system security and correctness
Vydáno 2008Témata: “…Computer logic Congresses.…”
An electronic book accessible through the World Wide Web; click to view
Elektronický zdroj Konferenční příspěvek E-kniha