# Génération et preuve de compilateurs basées sur une sémantique formelle des langages de programmation

> Fiche œuvre du catalogue https://superlivre.fr/livre/generation-et-preuve-de-compilateurs-basees-sur-une-semantique-formelle-des-lang-cb36090855j (données du dépôt légal BnF).

- **Auteur** : [Marie-Claude Gaudel](https://superlivre.fr/auteur/marie-claude-gaudel-cb11904309r) (1946–)
- **Première parution** : 1980
- **Langue** : français
- **Éditions recensées** : 1 (1980–1980)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1980 |  |  | 194 |  |