Institut universitaire de technologie. Nantes — 0 œuvres

Institut universitaire de technologie. Nantes

Œuvres0

Total pages0

Période d'activité—

Prochaine sortie estimée—Pas assez de données (≥3 publis requises)

Bibliographie (0)

Année	Titre	Éditeur	Pages

Année	Titre	Auteur(s) principal	Éditeur
1994	Introduction à la méthode de spécification formelle B	Jean-Raymond Abrial	Teknea