| [cllfst] Séminaire : Vérification automatique des systèmes logiciels |
[ Thread Index |
Date Index
| More lists.tuxfamily.org/cllfst Archives
]
- To: cllfst@xxxxxxxxxxxxxxxxxxx
- Subject: [cllfst] Séminaire : Vérification automatique des systèmes logiciels
- From: "Zied Abid" <ziedabid@xxxxxxxxx>
- Date: Mon, 25 Dec 2006 16:34:17 +0100
- Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:mime-version:content-type; b=fuVZcovmyQJxBHEhjBq14NakqFiGyrtzH1Mg709bQvoSfYNhQZdLb9J47Bqti88Q9X5n6IdyYZEmpZ/Sdd/2yQOpnFNHMutc4NPHVDj9tjNNyfv9+pSHYIVeiB4f/vFwZH0HjkeL2fxw7MyOCQxxVSALK0w8aeQvFEPWIqA3JLs=
Séminaire : Vérification
automatique des systèmes logiciels
Dans le cadre du projet
CMCU06/G1410, l'Ecole Polytechnique de
Tunisie organise le mercredi 27
décembre 2006 un séminaire portant sur la :
Vérification automatique des
systèmes logiciels. Pour en
savoir plus voir :
http://www.annonces.rnu.tn/news/dec06/Affiche_logiciel.JPG