Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
verification programming » specification programming, identification programming, verification program
functions verification » functional verification, auction verification, function purification
programming defining » programming designing, programming learning, programming reasoning
defining basics » designing basics, training basics, defining cases
basics tools » basic tools, tactics tools, based tools
verification programming » specification programming, identification programming, verification program
functions verification » functional verification, auction verification, function purification
programming defining » programming designing, programming learning, programming reasoning
defining basics » designing basics, training basics, defining cases
basics tools » basic tools, tactics tools, based tools
1
Vydáno 2006
Obsah:
“... Calculus -- Pure Pattern Calculus -- A Verification Methodology for Model Fields -- ILC: A Foundation...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2005
Obsah:
“... of Transformation Rules for Java Verification Against a Rewriting Semantics -- Reasoning About Incompletely Defined...”Získat plný text
Elektronický zdroj
E-kniha