Aihe-ehdotuksia
Aihe-ehdotuksia
Tarkoititko:
computing programming » computer programming, computers programming
programming defining » programming designing, programming learning, programming reasoning
function computing » education computing, generation computing
defining basic » defining seasia, defining cases, training basic
basic rules » basic results
computing programming » computer programming, computers programming
programming defining » programming designing, programming learning, programming reasoning
function computing » education computing, generation computing
defining basic » defining seasia, defining cases, training basic
basic rules » basic results
1
Julkaistu 2006
Sisällysluettelo:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”Hae kokoteksti
Elektroninen
E-kirja
2
Julkaistu 2005
Sisällysluettelo:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Hae kokoteksti
Elektroninen
E-kirja
3
Sisällysluettelo:
“...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
4
Julkaistu 2005
Sisällysluettelo:
“... Relation, Definability, and Approximations -- Discernibility Functions and Minimal Rules in Non...”Hae kokoteksti
Elektroninen
E-kirja
5
Sisällysluettelo:
“... -- 2. Defining functions -- 2.1 Formulas as functions -- 2.2 Anonymous functions -- 3. Lists -- 3.1...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja
6
Sisällysluettelo:
“... Manual -- 1.3 Basic Testbench Functionality -- 1.4 Directed Testing -- 1.5 Methodology Basics -- 1.6...”
Hae kokoteksti
Hae kokoteksti
Elektroninen
E-kirja