Questions speciales de l'informatique fondamentale: methodes de developpement B et CSP

  • Andreas Classen (Participant)

Activité: Participation ou organisation d'un événement › Participation à un atelier/workshop, un séminaire, un cours

Description

Attending a four-day lecture on the B-Method given by Michael Leuschel (University of Dusseldorf).
Période26 mars 2009 → 3 avr. 2009
Type d'événementFormation
LieuUniversity of Namur, BelgiqueAfficher sur la carte