Recherche
Présentation
Le laboratoire
Organigramme
Recrutement
Contact
Accès
Recherche
Equipes
- Administration
- ILJ
- Isid
- Laetitia
- MSDMA
- OC
- SYS
- Vertigo
Actualités et Evénements
Membres
Publications
Doctorants
Formation
Electronique
Informatique
Mathématiques
Master
ENSIIE
Ecole Doctorale
Intranet
Connexion
Accueil CEDRIC
>
Publications
>
Article
>
DUB09
>
[DUB09] Tests and Proofs
Directions d'ouvrages scientifiques
:
January 2009, Springer,
Auteurs
:
C. Dubois
motcle
:
BibTeX
@book {
DUB09,
title
=
"{Tests and Proofs}",
author
=
"C. Dubois",
year
=
2009,
publisher
=
"Springer",
}
Electronique
Informatique
Mathématiques
Master
CNA
M
Réseau Cnam
Accès
Contact
Informations Légales