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 metadatas

https://hal.inria.fr/inria-00534852
Contributor : Sylvie Boldo <>
Submitted on : Wednesday, November 10, 2010 - 4:12:34 PM
Last modification on : Wednesday, September 16, 2020 - 5:04:55 PM

Identifiers

  • HAL Id : inria-00534852, version 1

Collections

Citation

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

Share

Metrics

Record views

213