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 revueCollectionEditeurNoteTous motsISBNPPN       Modifier la recherche   > CERGY

Résultats de recherche  10 résultat(s) pour  Méthodes formelles (informatique)

Trier par: Choisissez...Aucun(e)AuteursTitresEditeursType de document Date d'édition croissanteDate d'édition décroissanteHIP titre Abreg inverse    Limiter par: Type de document --Livres imprimés --Revues papier --Thèses --Vidéos / DVD --Documents électroniques --Cartes --ArticlesBibliothèque --Cerclades --Chênes --Neuville --St Martin --Argenteuil --Sarcelles --Ensea --Antony --Cergy-Hirsch --Saint-Germain-en-Laye --GennevilliersLangue --Anglais --Français --Allemand --Italien --Japonais --Portugais --Espagnol

 

---

1. Fondamentaux de la théorie des automates : de l'intuition aux méthodes formelles en 400 exercices corrigés Séébold , Patrice Ellipses , DL 2020      2. Structures de données et méthodes formelles Guyomard , Marc , 19..-.... Springer -- DL 2011      3. Approches formelles des systèmes embarqués communicants Hermes science publ. , Lavoisier -- impr. 2008, cop. 2008      4. Méthodes formelles pour les systèmes répartis et coopératifs Hermes science publ. , Lavoisier -- cop. 2006      5. Modélisation et spécification formelle des logiciels Tremblay , Guy , 1958-.... Loze-Dion éditeur -- 2006      6. Software specification methods 2nd ed. ISTE Ltd -- cop. 2006      7. 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] AFADL -- 3 -- 2000 -- Grenoble Hermès Science Publ. -- 2001      8. L'objet : logiciel, bases de données, réseaux Hermès Science Publications -- 2000      9. Dynamic logic Harel , David , 1950- MIT Press -- cop. 2000      10. The formal semantics of programming languages : an introduction Winskel , Glynn MIT Press -- cop. 1993

Ma liste : (ex. 1,2 ou 5-20, max. 100)

Pour toute question, contactez la bibliothèque

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