Normal view MARC view ISBD view

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 Wiels

Auteur principal collectivité : Conférence Approches formelles dans l'assistance au développement de logiciels, 12, 3-5 avril 2013, Auteur, AFADL 2013Auteur secondaire : : Souquières, Jeanine, Editeur scientifique;Wiels, Virginie, Editeur scientifiqueAuteur secondaire collectivité : Génie de la programmation et du logiciel, Villeneuve-d'Ascq, Nord, Journées nationales, 05, 2013, Editeur scientifiquePublication :[Nancy] : Université de Lorraine, 2013Description : 1 vol. (VI-114 p.) : ill., couv. ill. en coul. ; 30 cmISBN : 978-2-905267-88-7.Dewey: 005.1Bibliographie: Notes bibliogr. Index. Résumés.Sujet - Nom d'actualité : Logiciels -- Développement ;Génie logiciel -- Actes de congrès Sujet : Développement logiciel ;Méthode formelle
Current location Call number Status Date due Barcode
Centre de recherche en informatique
NAN 13 Sur demande CRI06296D

Journées GDR-GPL-CIEL-AFADL 2013

Notes bibliogr. Index. Résumés

Powered by Koha