1
Publié 2008
Table des matières: ... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...
Accéder au texte intégral
Électronique eBook
2
Publié 2007
Table des matières: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Accéder au texte intégral
Électronique eBook
3
Publié 2008
Table des matières: ... Students’ Conceptual Grasp of OOP Concepts in Two Interactive Programming Environments -- Interview-Based...
Accéder au texte intégral
Électronique eBook