René David
Biographie de René David
René David est spécialiste de la théorie de la démonstration, il est enseignant chercheur et membres du laboratoire de mathématiques de l'université Savoie Mont Blanc.
Livres de René David
Les démonstrations mathématiques
Cours complet avec 127 exercices résolus
Auteur(s) : Christophe Rafalli, Pierre Hyvernat, René David, Karim Nour
Éditeur(s) : Ellipses
Date de parution : 13/03/2017
Disponible
Disponible en magasin
Discrete, Continuous, and Hybrid Petri Nets
Auteur(s) : René David, Hassane Alla
Éditeur(s) : Springer
Date de parution : 20/10/2004
Disponible
Introduction à la logique
Théorie de la démonstration
Auteur(s) : René David, Karim Nour, Christophe Raffalli
Éditeur(s) : Dunod
Date de parution : 27/01/2004
Indisponible définitivement
Introduction à la logique
Théorie de la démonstration, Cours et exercices corrigés
Auteur(s) : René David, Karim Nour, Christophe Raffalli
Éditeur(s) : Dunod
Date de parution : 01/05/2001
Disponible
Du grafcet aux réseaux de Petri
Auteur(s) : René David, Hassane Alla
Éditeur(s) : Hermès - Lavoisier
Date de parution : 21/11/1992
Disponible
