texte imprimé

Technique et science informatiques, 7 (2001). Technique et science informatiques.

Yves Ledru, Metteur en scène, réalisateur ; Marie-Laure Potet, Metteur en scène, réalisateur | Paris : Hermès science publications | 2001

Numéro thématique suite à l'atelier AFALD'2000 (approches formelles dans l'assistance au développement de logiciels) qui s'est tenu à Grenoble en janvier 2000. Aborde notamment : l'étude de cas d'un système de contrôle d'accès à un ensemble de b[...]

Plus d'information...

Ajouter au panier

Aucun avis sur cette notice.

Réserver

Disponible