Skip to Main content Skip to Navigation
Theses

Contribution to formal calculation on computer

Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00009476
Contributor : Thèses Imag <>
Submitted on : Monday, June 13, 2005 - 5:28:42 PM
Last modification on : Friday, November 6, 2020 - 3:49:50 AM
Long-term archiving on: : Friday, April 2, 2010 - 10:59:46 PM

Identifiers

  • HAL Id : tel-00009476, version 1

Collections

Citation

Yvon Siret. Contribution to formal calculation on computer. Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1970. Français. ⟨tel-00009476⟩

Share

Metrics

Record views

202

Files downloads

77