Skip to Main content Skip to Navigation
Other publications

L'informatique

Sylvie Boldo 1, 2
1 PROVAL - Proof of Programs
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR
Abstract : https://leblob.fr/histoire-des-sciences/informatique
Document type :
Other publications
Complete list of metadata

https://hal.inria.fr/inria-00534852
Contributor : Sylvie Boldo Connect in order to contact the contributor
Submitted on : Wednesday, November 10, 2010 - 4:12:34 PM
Last modification on : Thursday, July 8, 2021 - 3:48:27 AM

Identifiers

  • HAL Id : inria-00534852, version 1

Collections

Citation

Sylvie Boldo. L'informatique. 2010. ⟨inria-00534852⟩

Share

Metrics

Les métriques sont temporairement indisponibles