Skip to Main content Skip to Navigation
Books

Numérique et Sciences Informatiques, 24 leçons avec exercices corrigés. Terminale

Thibaut Balabonski 1, 2 Sylvain Conchon 1, 2, 3 Jean-Christophe Filliâtre 4, 2, 3 Kim Nguyen 1, 2
1 Université Paris-Saclay
2 LRI - Laboratoire de Recherche en Informatique
3 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
Inria Saclay - Ile de France, LRI - Laboratoire de Recherche en Informatique
4 CNRS - Centre National de la Recherche Scientifique
Document type :
Books
Complete list of metadatas
https://hal.inria.fr/hal-03023099
Contributor : Jean-Christophe Filliâtre <>
Submitted on : Wednesday, November 25, 2020 - 10:39:33 AM
Last modification on : Monday, January 18, 2021 - 1:52:02 PM

Identifiers

  • HAL Id : hal-03023099, version 1

Collections

UMR8623 | CNRS | CENTRALESUPELEC | INRIA

Citation

Thibaut Balabonski, Sylvain Conchon, Jean-Christophe Filliâtre, Kim Nguyen. Numérique et Sciences Informatiques, 24 leçons avec exercices corrigés. Terminale. Ellipses, pp.526, 2020, 9782340038554. ⟨hal-03023099⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

13

 

Contact                    Legal Notice                    Personal Data