TY  - BOOK
AU  - Gochet, Paul
AU  - Gribomont, pascal
TI  - Logique: Volume 2:méthodes formelles pour l'étude des programmes
SN  - 2-86601-395-6
PY  - 2000///
CY  - Paris
PB  - Hermes
KW  - Paul Gochet
KW  - Logique
N1  - Bibliographie: pp.(337-343)
Indexe: pp.(346-351)
ER  -