skip to main | skip to sidebar

Spec 1 (Spécifications 1) Software Specifications

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)

jeudi 27 novembre 2008

Conscience et Mécanisme

http://iridia.ulb.ac.be/~marchal/bxlthesis/consciencemecanisme.html

Thèse Bruno Marchal, 1994
Publié par Arédius44 à 13:41 Aucun commentaire:

Un site pour les b a ba sur les ensembles et relations

ICI
Publié par Arédius44 à 13:23 Aucun commentaire:
Libellés : ENSEMBLE
Articles plus récents Articles plus anciens Accueil
Inscription à : Articles (Atom)

Membres

Blogs amis

  • Nicolass et Oa
  • cuisine thaï et autres

Mes autres blogs

  • Mes pages sur l'enseignement des spécs
  • Mon blog principal
  • Complément photos à mon blog principal
  • Méthode B, modèle relationnel n-aire
  • Spécification : automates, communication
  • D'Assérac à Pénestin
  • Inde, informatique, société

Archives du blog

  • ►  2010 (1)
    • ►  janvier (1)
  • ►  2009 (1)
    • ►  février (1)
  • ▼  2008 (45)
    • ▼  novembre (2)
      • Conscience et Mécanisme
      • Un site pour les b a ba sur les ensembles et relat...
    • ►  octobre (2)
    • ►  juin (1)
    • ►  avril (1)
    • ►  février (4)
    • ►  janvier (35)
  • ►  2007 (147)
    • ►  décembre (45)
    • ►  novembre (75)
    • ►  octobre (8)
    • ►  février (2)
    • ►  janvier (17)

Qui êtes-vous ?

Ma photo
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
Afficher mon profil complet
 
Locations of visitors to this page

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