public marks

PUBLIC MARKS with tag cursus

February 2007

Spaanse cursus in Valencia

by vipame
Spaanse cursus in Valencia

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

January 2006

December 2005

PUBLIC TAGS related to tag cursus

beveiliging +   Bmethod +   cartografie +   csp +   del.icio.us +   draadloos +   formal-methods +   gis +   in +   netwerk +   Spaanse +   tutorial +   uitleg +   valencia +   werk +  

Active users

vipame
last mark : 15/02/2007 12:28

GeorgesMariano
last mark : 21/03/2006 06:07

aliadko
last mark : 17/01/2006 07:17