PREUVES, PROGRAMMES et SYSTÈMES
Consultation
Liste des articles
Liste par année
Liste par domaine
Liste par auteurs
Rechercher
302 articles – 345 Notices
[english version]
.:.
Consultation
>
Liste par auteurs
> Alberti .:.
2 documents classés par :
Date
Titre
Nom du premier auteur
Type de documents
Date de dépôt
Analyse statique typée des propriétés structurelles des programmes
Alberti F.
Université Paris-Diderot - Paris VII (27/05/2005), Curien Pierre-Louis (Dir.) [tel-00010369 - version 1]
L'experience SCOL, un langage pour des applications internet multi-utilisateur
Bosser A.-G., Alberti F.
Dans
Journees Francophones des Langages Applicatifs 2003, actes
-
Journees Francophones des Langages Applicatifs
, France (2003) [hal-00150874 - version 1]