Numérique et Sciences Informatiques, 30 leçons avec exercices corrigés. Première. (original) (raw)
Loading...
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2019
Thibaut Balabonski (1, 2) , Sylvain Conchon (1, 2, 3) , Jean-Christophe Filliâtre (4, 2, 3) , Kim Nguyễn (1, 2)
1 Université Paris-Saclay
2 LRI - Laboratoire de Recherche en Informatique
3 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
4 CNRS - Centre National de la Recherche Scientifique
- Fonction : Auteur
- PersonId : 18483
- IdHAL : thibaut-balabonski
- IdRef : 168667657
LRI - Laboratoire de Recherche en Informatique
- Fonction : Auteur
- PersonId : 961901
LRI - Laboratoire de Recherche en Informatique
TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
- Fonction : Auteur
- PersonId : 15939
- IdHAL : jean-christophe-filliatre
- ORCID : 0000-0003-2359-975X
- IdRef : 15500395X
CNRS - Centre National de la Recherche Scientifique
LRI - Laboratoire de Recherche en Informatique
TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
- Fonction : Auteur
- PersonId : 3104
- IdHAL : kim-nguyen
- ORCID : 0000-0002-1729-870X
- IdRef : 127166106
LRI - Laboratoire de Recherche en Informatique
Domaines
Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-02379073
Soumis le : lundi 25 novembre 2019-15:06:01
Dernière modification le : mercredi 26 février 2025-15:22:03
Fichier non déposé
Dates et versions
hal-02379073 , version 1 (25-11-2019)
Identifiants
- HAL Id : hal-02379073 , version 1
Citer
Thibaut Balabonski, Sylvain Conchon, Jean-Christophe Filliâtre, Kim Nguyễn. Numérique et Sciences Informatiques, 30 leçons avec exercices corrigés. Première.. Ellipses, 2019. ⟨hal-02379073⟩
Exporter
Collections
299 Consultations
0 Téléchargements