Actes des Journées francophones sur la certification du logiciel
Subtitle: fondements, réalisations, limitations, perspectives : Genève, 10-11 janvier 1979
By: organisées par les universités de Genève et Grenoble sous l'égide de SCACM, ASSPA, CNRS, AFCET, IRIA ; éditeurs, Bernard Amy, Martine Dufrène & Christian Pellegrini.
Contributors: Amy, Bernard.; Dufrène, Martine.; Pellegrini, Christian.; Université de Genève.; Université de Grenoble.
Publisher: Centre universitaire d'information
Published: 1979
Place of publication: [Genève
Language: fre
Number of pages: 155
Subjects: Computer programs -- Validation -- Congresses.; Computer programs -- Verification -- Congresses.
Other titles: Certification du logiciel.