Construction, amélioration et vérification de programmes =
Subtitle: Proving and improving programs
By: organisé par l'I.R.I.A., Institut de recherche d'informatique et d'automatique ... 1, 2, 3 juillet 1975, Arc-et-Senans ; edited by G. Huet, ... G. Kahn, ....
Contributors: Huet, G.; Kahn, G.; Institut de recherche d'informatique et d'automatique.
Series: Colloques IRIA
Publisher: I.R.I.A.
Published: 1975
Place of publication: Rocquencourt
Language: eng
Number of pages: 476
Subjects: Computer programs -- Reliability -- Congresses.; Computer programs -- Testing -- Congresses.; Computer programs -- Verification -- Congresses.
Other titles: Proving and improving programs.
Notes: Includes bibliographies.
English or French.