Numérique et Sciences Informatiques, 30 leçons avec exercices corrigés. Première. - Inria - Institut national de recherche en sciences et technologies du numérique

Documentation
Français (FR)

Anglais (EN)

Ouvrage (Y Compris Édition Critique Et Traduction) Année : 2019

Numérique et Sciences Informatiques, 30 leçons avec exercices corrigés. Première.

(1, 2) , (1, 2, 3) , (4, 2, 3) , (1, 2)

1
2
3
4

Thibaut Balabonski

Fonction : Auteur
PersonId : 18483
IdHAL : thibaut-balabonski
IdRef : 168667657

Université Paris-Saclay

Laboratoire de Recherche en Informatique

Sylvain Conchon

Fonction : Auteur
PersonId : 961901

Université Paris-Saclay

Laboratoire de Recherche en Informatique

Formally Verified Programs, Certified Tools and Numerical Computations

Jean-Christophe Filliâtre

Fonction : Auteur
PersonId : 15939
IdHAL : jean-christophe-filliatre
ORCID : 0000-0003-2359-975X
IdRef : 15500395X

Centre National de la Recherche Scientifique

Laboratoire de Recherche en Informatique

Formally Verified Programs, Certified Tools and Numerical Computations

Kim Nguyễn

Fonction : Auteur
PersonId : 3104
IdHAL : kim-nguyen
ORCID : 0000-0002-1729-870X
IdRef : 127166106

Université Paris-Saclay

Laboratoire de Recherche en Informatique

Domaines

Algorithme et structure de données [cs.DS]

Jean-Christophe Filliâtre : 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 : jeudi 28 mars 2024-16:53:39

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

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UMR8623 CENTRALESUPELEC INRIA2 LRI-VALS UNIV-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF

65 Consultations

0 Téléchargements

Partager