Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
structure computational » structures computational, structure composition
programming deduction » programming education, programming deductive, programming equation
function computation » function computing, function decomposition, section computational
deduction methods » reduction methods, detection methods, education methods
methods based » method based, methods case, methods used
structure computational » structures computational, structure composition
programming deduction » programming education, programming deductive, programming equation
function computation » function computing, function decomposition, section computational
deduction methods » reduction methods, detection methods, education methods
methods based » method based, methods case, methods used
1
Published 2007
Table of Contents:
“... C Programs: A Deductive Approach -- A Taxonomy for Modelling Safety Related Architectures...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... with Cooperating Analysis Plugins -- The Why/Krakatoa/Caduceus Platform for Deductive Program Verification...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Approach -- Rough Sets Theory for Multi-Objective Optimization Problems -- How to Acquire and Structuralize...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... -- Sequential generation of structured arrays and its deductive verification -- Checking UML and OCL Model...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... Reconstruction of a System for Experimental Mathematics -- Context Aware Calculation and Deduction -- Towards...”View full text
Electronic
eBook
7
Published 2007
Table of Contents:
“... -- Inductive Synthesis of Recursive Functional Programs -- Training on the Job — Collecting Experience...”View full text
Electronic
eBook