texte imprimé

Technique et science informatiques, 8 (2002). Technique et science informatiques.

Janine Souquières, Metteur en scène, réalisateur | Paris : Hermès science publications | 2002

Fait suite à l'atelier AFADL'2001. Plusieurs thèmes autour des différentes phases de développement d'un logiciel : approche UML, application des méthodes formelles, génération de tests, méthodologie de formalisation et vérification.

Plus d'information...

Ajouter au panier

Aucun avis sur cette notice.