Normal view MARC view ISBD view

Construction, amélioration et vérification de programmes : Arc-et-Sénans 1-2-3 juillet 1975 = Proving and improving programs, anglais / IRIA ; G. Huet, G. Kahn

Auteur secondaire : Huet, Gérard, 1947-, Editeur scientifique • Kahn, Gilles, 1946-2006, Editeur scientifiqueAuteur secondaire collectivité : Institut de Recherche d'Informatique et d'Automatique, OrganisateurType de document : CongrèsCollection : Colloques IRIALangue : anglais.Pays : France.Éditeur : Rocqencourt : Institut de Recherche d'Informatique et d'Automatique, 1975Description : 476 p. : ill. ; 24 cmISBN : 2726100635.Sujet MSC : 68-06, Computer science, Proceedings, conferences, collections, etc.
Tags from this library: No tags from this library for this title. Log in to add tags.
Current location Call number Status Date due Barcode
CMI
Salle R
68-06 IRI (Browse shelf) Available 05036-01

There are no comments for this item.

Log in to your account to post a comment.