Œuvres de Didier Bert
ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku,… (2003) 3 exemplaires
Recent trends in algebraic development techniques : 14th international workshop, WADT'99, Chateau de Bonas, September… (2004) 3 exemplaires
Étiqueté
Ce site utilise des cookies pour fournir nos services, optimiser les performances, pour les analyses, et (si vous n'êtes pas connecté) pour les publicités. En utilisant Librarything, vous reconnaissez avoir lu et compris nos conditions générales d'utilisation et de services. Votre utilisation du site et de ses services vaut acceptation de ces conditions et termes.