Ici
voir aussi sa liste de problèmes rencontrés avec l'Atelier B
... et les pages B du site mondial des méthodes formelles
Inscription à :
Publier les commentaires (Atom)
skip to main |
skip to sidebar
Messages échangés entre l'enseignant et les étudiants du module, Spécifications 1 du département informatique de l'IUT de Nantes (Université de Nantes) Ce module s'appuie principalement sur la notation et la méthode de spécification formelle B. (The B formal method)
Membres
Blogs amis
Mes autres blogs
Archives du blog
-
▼
2007
(147)
-
▼
décembre
(45)
- L'hôtelier, le groom et les clients (où est passé ...
- "Quand on cherche les conditions psychologiques du...
- Le prochain cours est ici
- Histoire du modèle relationnel n-aire
- "Le talent c'est d'avoir envie de faire quelque ch...
- Ce que j'ai fait en cours ce 17-12-07, 8h15
- Richard II et Richard III
- Brel, Pagny, Camus
- Offre d'emploi
- Mon cadeau de Noël
- Le sujet du DS de Spec1, 2008
- Combien de mots dans "Le chien mord le facteur"
- La plateforme RODIN
- Notre petit cadeau de Noël
- Les test du village (certains étudiants comprendro...
- La construction de la boucle (un cours de Marc Guy...
- Toujours l'inclusion (message au Groupe 3)
- La boxologie illustrée
- Variables. Danger !
- L’indécidabilité de l’infection par un virus
- Des fondamentaux, indécidabilité, etc...
- Ce que j'ai fait en cours ce matin (8h 45 9h 45)
- Commandes latex pour B
- Le problème des étudiants aujourd’hui
- Information aux étudiants qui dorment en TD et en ...
- "Le vrai Paradis de Platon
- Perelman et sa preuve
- Shakespeare n'a pas écrit Richard II, mais Richard...
- Sujet du DS à venir (suite)
- Rendez-vous à Budapest
- Effet paillasson, effet bi-standard
- Outils de ClearSy/Méthodes ...
- Appartenance, Ensemble des sous-ensembles, Ensembl...
- Il y a huit mots dans cette phrase, Il n'y a pas h...
- "Je ne comprends pas les Anglais
- Ce que j'ai fait en cours ce matin (8h 45 9h 45)
- Le site consacré à E. Dijkstra
- Les pages d'un collègue de Bordeaux
- Modèle ? et indécidabilité
- Contexte
- Images avec Latex
- La preuve de Dionysodore
- La preuve de l'existence de Dieu
- "L'imbécile croit qu'il
- Puisque je viens d'apprendre qu'il est demandé aux...
-
▼
décembre
(45)
Qui êtes-vous ?
- Arédius44
- J'ai vécu à St-Yrieix-la-Perche jusqu'en Terminale. Nantais depuis 1971. Ancien prof à l'université de Nantes, Arédien aux beaux jours.Cycliste urbain quotidien. Milite pour le retour des goujons dans les eaux limousines Mon blog principal : http://lefenetrou.blogspot.com
Livres appréciés
- Claude Gagnière, Pour tout l'or des mots
- Jean-Louis Gardies, Esquisse d'une grammaire pure
- George G. Szpiro, La conjecture de Poincaré
- Barbara Kingslover, Les yeux dans les arbres (The Poisonwood Bible)
- Bernard Diu, Traité de physique à l'usage des profanes
- Aristote, L'organon
Aucun commentaire:
Enregistrer un commentaire