Contribution à la vérification des spécifications algébriques : application à certaines propriétés de programmes parallèles

Abstract : Not available
Document type :
Theses
File URL :
http://docnum.univ-lorraine.fr/prive/SCD_T_1990_0035_LAZRAK.pdf
Complete list of metadatas

https://hal.univ-lorraine.fr/tel-01747712
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 11:08:33 AM
Last modification on : Monday, April 16, 2018 - 10:40:32 AM

Identifiers

  • HAL Id : tel-01747712, version 1

Collections

Citation

Noureddine Lazrak. Contribution à la vérification des spécifications algébriques : application à certaines propriétés de programmes parallèles. Autre. Université Henri Poincaré - Nancy 1, 1990. Français. ⟨NNT : 1990NAN10035⟩. ⟨tel-01747712⟩

Share

Metrics

Record views

1