Your search returned 4 results. Subscribe to this search

|
1. Congrès AFADL 2013 [ [Texte imprimé]] / actes des 12èmes Journées francophones sur les Approches formelles dans l'assistance au développement de logiciels, du 3 au 5 avril 2013, Nancy, France ; édités par: Jeanine Souquières, Virginie WielsPublication :[Nancy] : Université de Lorraine, 2013Description : 1 vol. (VI-114 p.) : ill., couv. ill. en coul. ; 30 cmAvailability: Copies available for reference: Bib. Fontainebleau[NAN 13] (1).
2.  Monographies, textes Comprendre les méthodes formelles [] : panorama et outils logiques / Jean-François Monin,... ; préface de Gérard Huet,...Publication :Paris, Milan, Barcelone : Masson, impr. 1996, Impr. en BelgiqueDescription : 1 vol. (XVII-306 p.) : ill., couv. ill. ; 24 cmAvailability: Copies available for reference: Sophia Antipolis[EMS 110-C/N 4116] (1).
3.  Monographies, textes Introduction à la spécification [] / Henri Habrias,... ; préf. de H. Gallaire ; présentation du livre par M. JacksonPublication :Paris, Milan, Barcelone : Masson, cop. 1993, Impr. en BelgiqueDescription : 1 vol. (XIX-347 p.) : ill., couv. ill ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 113.841] (1).
4.  Monographies, textes La notation Z [] / J. Mike Spivey ; Trad. de l'anglais par M.LemoineTranslation of : ˜The œZ notation-A reference manualPublication :Paris : Masson, London : Prentice-Hall, 1994Description : 1 vol. (XII-155 p.) ; 24 cmAvailability: Copies available for loan: Bib. Paris[EMP 113.766] (1).

Powered by Koha