# Françoise M.-Anne Choquer

> Fiche auteur du catalogue https://superlivre.fr/auteur/francoise-m-anne-choquer-cb122248262 (données du dépôt légal BnF, enrichies Wikidata).

- **Œuvres au catalogue** : 1 (1986–1986)
- **BnF** : https://catalogue.bnf.fr/ark:/12148/cb122248262

## Œuvres

| Année | Titre | Éditeur (1re éd.) | Pages |
|---|---|---|---|
| 1986 | [Preuve de formules conditionnelles dans des spécifications algébriques conditionnelles](https://superlivre.fr/livre/preuve-de-formules-conditionnelles-dans-des-specifications-algebriques-condition-cb37596721d) | [ANRT](https://superlivre.fr/editeur/anrt) |  |

## Éditeurs principaux

- [ANRT](https://superlivre.fr/editeur/anrt) — 1 œuvres