February 2007
March 2006
![](http://blogmarks.net/screenshots/2006/03/21/ac2c8c47388774e43d487cd9742ed753.png)
CS611: System Construction Using B
![](http://blogmarks.net/img/default-gravatar.gif)
The aim of the course is to give a solid grounding in the B method using the B-Toolkit, concentrating on formal model building aspects, and giving exposure to the other elements of the theory, enabling students to go on to participate in the rigorous buil
February 2006
![](http://blogmarks.net/screenshots/2006/02/09/541c2b6da5962fa6e8be5273437bf7d0.png)
Enseignements Méthodes formelles - Attiogbe Christian
![](http://blogmarks.net/img/default-gravatar.gif)
Méthodes et spécifications formelles Intégration de méthodes formelles Cours et documents J-C.Attiogbé - UFR Sciences Nantes
January 2006
December 2005
![](http://blogmarks.net/screenshots/2005/12/14/d0dc4dedc0eaf6cc9d7dc90b2bdeb206.png)
Distance course: Principles of Geographic Information Systems (GIS)
![](http://blogmarks.net/img/default-gravatar.gif)
Online cursus voor GIS --> 600 euro
1
(5 marks)