Informatique - MP2I/MPI - CPGE 1re et 2e années - Cours et exercices corrigés (original) (raw)
Loading...
Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2022
Thibaut Balabonski (1) , Sylvain Conchon (1, 2) , Jean-Christophe Filliâtre (1, 2) , Kim Nguyen (1) , Laurent Sartre
1 LMF - Laboratoire Méthodes Formelles
2 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
- Fonction : Auteur
- PersonId : 18483
- IdHAL : thibaut-balabonski
- IdRef : 168667657
LMF - Laboratoire Méthodes Formelles
- Fonction : Auteur
- PersonId : 882611
LMF - Laboratoire Méthodes Formelles
TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
- Fonction : Auteur
- PersonId : 15939
- IdHAL : jean-christophe-filliatre
- ORCID : 0000-0003-2359-975X
- IdRef : 15500395X
LMF - Laboratoire Méthodes Formelles
TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
- Fonction : Auteur
- PersonId : 3104
- IdHAL : kim-nguyen
- ORCID : 0000-0002-1729-870X
- IdRef : 127166106
LMF - Laboratoire Méthodes Formelles
- Fonction : Auteur
Domaines
Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03886751
Soumis le : mardi 6 décembre 2022-14:26:18
Dernière modification le : vendredi 24 octobre 2025-16:40:02
Fichier non déposé
Dates et versions
hal-03886751 , version 1 (06-12-2022)
Identifiants
- HAL Id : hal-03886751 , version 1
Citer
Thibaut Balabonski, Sylvain Conchon, Jean-Christophe Filliâtre, Kim Nguyen, Laurent Sartre. Informatique - MP2I/MPI - CPGE 1re et 2e années - Cours et exercices corrigés. Ellipses, pp.1116, 2022, 9782340070349. ⟨hal-03886751⟩
Exporter
Collections
- CNRS
- INRIA
- ENS-CACHAN
- CENTRALESUPELEC
- INRIA2
- UNIV-PARIS-SACLAY
- ENS-PARIS-SACLAY
- GS-COMPUTER-SCIENCE
- LMF
834 Consultations
0 Téléchargements