Titre | Méthodes formelles pour l'étude des programmes (Paul Gochet et Pascal Gribomont) | |
---|---|---|
Auteur | Radu Lazar | |
![]() |
Revue | Réseaux (communication - technologie - société) |
Numéro | vol. 12, no. 67, 1994 Les jeux vidéo | |
Rubrique / Thématique | Notes de lecture |
|
Page | 208-209 | |
Article en ligne | http://www.persee.fr/web/revues/home/prescript/article/reso_0751-7971_1994_num_12_67_2751 |