Sponsorised links
February 2007
March 2006
CS611: System Construction Using B
by GeorgesMariano
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
Enseignements Méthodes formelles - Attiogbe Christian
by GeorgesMariano
Méthodes et spécifications formelles Intégration de méthodes formelles Cours et documents J-C.Attiogbé - UFR Sciences Nantes
Sponsorised links
January 2006
December 2005
Distance course: Principles of Geographic Information Systems (GIS)
by aliadko
Online cursus voor GIS --> 600 euro
1
(5 marks)
