Approches formelles pour le développement de logiciels
Résumé
Numéro spécial de TSI sur l'atelier "Approches formelles pour le développement de logiciels " qui a eu lieu à Besançon en juin 2004.
Ouvrages
Année : 2006
Jeanine Souquières : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00184422
Soumis le : mercredi 31 octobre 2007-09:41:05
Dernière modification le : jeudi 13 avril 2023-09:26:11
Dates et versions
Identifiants
- HAL Id : hal-00184422 , version 1
Citer
Jacques Julliand, Jeanine Souquières (Dir.). Approches formelles pour le développement de logiciels. Lavoisier (Hermes), pp.142, 2006. ⟨hal-00184422⟩
Collections
140
Consultations
0
Téléchargements