Construction, amélioration et vérification de programmes =

Connectez-vous pour ajouter ce livre à votre bibliothèque.

Construction, amélioration et vérification de programmes =

Institut de recherche d'informatique et d'automatique (France), Gérard Huet, Gilles Kahn

Autre Première publication : 1975

Éditions (1)

Construction, amélioration et vérification de programmes =

Construction, amélioration et vérification de programmes = : Proving and improving programs

I.R.I.A. (Rocquencourt) · 1975 · 9782726100639