Vous n'auriez pas dû voir cette page, destinée aux moteurs de recherche. Allez plutôt voir du côté de www.sudoc.abes.fr/DB=2.1/SRCH?IKT=12&TRM=000110965.

Construction, amélioration de programmes = = Proving and improving programs : / organisé 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,...

Date :

Editeur / Publisher : Rocquencourt : I.R.I.A , 1975

Type : Livre / Book

Langue / Language : anglais / English

Langue / Language : français / French

ISBN : 2-7261-0063-5

Catalogue Worldcat

EAN : 9782726100639

Classification Dewey : 350

Huet, Gérard (1947-.... ; informaticien) (Editeur scientifique / editor)

Kahn, Gilles (1946-2006) (Editeur scientifique / editor)

Collection : Colloques IRIA / éd. par l'Institut de recherche d'informatique et d'automatique / Rocquencourt : IRIA