Construction, amélioration et vérification de programmes =
Construction, amélioration et vérification de programmes =
Proving and improving programs
Institut de recherche d'informatique et d'automatique (France), Gérard Huet, Gilles Kahn
Détails de l'édition
- ISBN-13
- 9782726100639
- ISBN-10
- 2726100635
- EAN
- 9782726100639
- Éditeur
- I.R.I.A. (Rocquencourt)
- Date de publication
- 1 janvier 1975
- Langue
- eng
- Pages
- 476
- Dimensions
- 24 cm
Provenance des données
- dimensions BnF Catalogue général · 23 juillet 2026
- language BnF Catalogue général · 23 juillet 2026
- page_count BnF Catalogue général · 23 juillet 2026
- publication_date BnF Catalogue général · 23 juillet 2026
- subtitle Open Library · 30 juillet 2026
- title Open Library · 30 juillet 2026