Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
developing microsoft » exploring microsoft, designing microsoft
program developing » programs developing, programme developing, programmes developing
microsoft https » microscopy https, microsoft htc
integer based » internet based, integer valued, interest based
integer basic » interest basic, inter basin, winter basic
1
Obálka
Vydáno 2010
Obsah: “... Provers for Basic Hybrid Logic -- Induction -- Automated Synthesis of Induction Axioms for Programs...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
2
Obálka
Vydáno 2007
Obsah: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje: RSS — Poslat emailem — Uložit hledání