Une belle question pour le DS
- Exposé au CNRIUT de Brest (2006)
Inscription à :
Publier les commentaires (Atom)
skip to main |
skip to sidebar
Ce bloc-notes a servi pour les échanges entre l'enseignant et les étudiants du module "Spécifications 2" de la première année du département informatique de l'IUT de Nantes. Site web : http://www.iut-nantes.univ-nantes.fr/~habrias/portailHabrias/
Rechercher dans ce blog
Membres
Mes autres bloc-notes
- Saint-Priest les fougères
- Spécifications : automates etc.
- Spécifications : Méthode B etc
- Informatique et Organisation sociale
- Mon blog principal
- Jumilhac le Grand, limousin périgord
- Gîtes, Limousin Périgor
- http://quoras-tu-chabat.hautetfort.com
- http://www.iut-nantes.univ-nantes.fr/~habrias/portailHabrias/
Archives du blog
-
▼
2008
(93)
-
▼
mars
(29)
- Le scandale de l'informatisation des retraites au ...
- Heathrow et l'informatique
- Retour de DS
- Le rendez-vous manqué ...
- Une erreur dans le graphe de transition d'états du...
- Le manoir hanté de W. Ross Ashby
- Preuves
- Je vais arrêter de pisser dans un violon
- Histoire de l'enseignement des spécifications à Na...
- "c'est que tout le monde ..."
- Etat et transition (par Pierre Desproges, de Châlus)
- L'équité (L'hypothèse d')
- Différence entre le | (parallèlisme) de CCS et le ...
- La piscine en FSP (LTSA)
- Erratum
- A l'anonyme
- En rire ou en pleurer ...
- Erratum
- Les algoristes
- Le dernier cours
- un lecteur parfait
- C'est toujours mieux ailleurs, n'est-ce pas ?
- J'ai adressé à toutes et tous les transparents de ...
- Rappel : un exemple de raffinage en B et avec LTSA
- Le corrigé de l'exercice
- cours du lundi 10 mars
- Les projets de Clearsy
- Dixit le directeur de la recherche de MS
- Cours du 3 mars 2008
-
▼
mars
(29)
Qui êtes-vous ?
- Aredius44
- Nantes, Pays de la Loire, France
- Limousin et Nantais Membre du Club des Vialattiens notoirement méconnus http://vialatte.lamontagne.fr/annee_vialatte/ contact : aredius44 à yahoo point fr
Aucun commentaire:
Enregistrer un commentaire