Nouvelles de l'industrie :
http://www.siemens.com/index.jsp?sdc_p=pofc58l2smnu18
Siemens utilise la méthode B, comme vous tous !
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)
-
▼
février
(21)
- Rien ne va de soi. Rien n'est donné. Tout est cons...
- la première connaissance objective ... une premièr...
- Le programme de la conférence FORMED 2008, Budapest
- Votre déclaration d'amour pour la Saint-Valentin
- Je vous offre un psychothérapeute
- Les TD au labo d'automatisme
- Ma poubelle n'était pas vidée
- Le parallélisme, un dictionnaire en ligne
- Je vous rappelle que les photos des tableaux de co...
- Cours du 11 février 8h15-9h15
- Portail de la sécurité informatique
- Model-checking
- Model checking à Carnegie Mellon
- Joseph SIFAKIS, premier prix Turing français
- Génie logiciel, nouvelles de l'industrie
- Le cours du 4 février 2008
- Michaël Jackson, à Nantes, lundi 4 février 2008
- Michaël Jackson, à Nantes, lundi 4 février 2008
- L'informatique ?
- A étudier avant le prochain TD
- Exercice. Faisons feu de tout bois
-
▼
février
(21)
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