Mon compte Ma liste - 0
	Catalogue   Ressources numériques   Nouveautés   Liens utiles   Mon compte

Recherche rapide Recherche avancée Recherche alphabétique Historique Information

Recherche  AuteurTitreSujetTitre de revueCollectionCotes BUCotes ENSEACotes IUFM       Modifier la recherche     > CERGY

Elargir la recherche         Sur le même sujet :     Méthodes formelles (informatique) -- Actes de congrès     Logiciels -- Développement -- Actes de congrès     Parcourir le catalogue     par auteur:      Ledru , Yves      Potet , Marie-Laure , 1959-....      AFADL -- 3 -- 2000 -- Grenoble       Rechercher sur Internet     Localiser dans une autre bibliothèque (SUDOC) (PPN ou ISBN ou ISSN)     Aperçu dans Google Books     Affichage MARC

Auteur :  AFADL -- 3 -- 2000 -- Grenoble Titre :  Approches formelles pour l'aide au développement de logiciels : [préparé suite à l'atelier AFADL'2000 tenu à Grenoble du 26 au 28 janvier 2000] , sous la dir. de Yves Ledru, Marie-Laure Potet Editeur :  Paris , Hermès Science Publ. -- 2001 Description :  1 vol. (p. 842-969) ; 24 cm ISBN:  2-7462-0330-8 Notes :  Contient quinze articles sélectionnés sur vingt-deux soumis, un article présenté directement à TSI Notes bibliogr. Numéro thématique de : "TSI. Technique et science informatiques", ISSN 0752-4072, vol. 20, n 7 Sujet :  Méthodes formelles (informatique) -- Actes de congrès Logiciels -- Développement -- Actes de congrès   Exemplaires Site Emplacement Cote Type de prêt Statut   Ensea Archives ARCH-6715 Empruntable Disponible

Pour toute question, contactez la bibliothèque

Horizon Information Portal 3.25_france_v1m© 2001-2019 SirsiDynix Tous droits réservés.