WADT'06 : 18th International Workshop on Algebraic Development Techniques

Germain Saval (Orateur)

Universite de Namur

Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès

Description

The algebraic approach to system specification and development, born as a formal method for abstract data types, encompasses today the formal design of integrated hardware and software systems, new specification frameworks and programming paradigms (such

Période	1 juin 2006 → 3 juin 2006
Type d'événement	Une conférence
Lieu	La Roche, BelgiqueAfficher sur la carte

Documents et liens

http://www.info.fundp.ac.be/~pys/WADT06/