Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
developing microsoft » exploring microsoft, designing microsoft
microsoft https » microscopy https, microsoft htc
static program » stamp program
basic program » basic programs, based program, logic program
developing microsoft » exploring microsoft, designing microsoft
microsoft https » microscopy https, microsoft htc
static program » stamp program
basic program » basic programs, based program, logic program
1
Publicado 2010
Table of Contents:
“... Provers for Basic Hybrid Logic -- Induction -- Automated Synthesis of Induction Axioms for Programs...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2007
Table of Contents:
“... and Accurate Static Data-Race Detection for Concurrent Programs -- Parametric and Sliced Causality -- Spade...”Ligazón do recurso
Electrónico
eBook