Search
1 heading found for n 2001012541
Heading | Type | Sample Title | |
---|---|---|---|
1 |
Berry, Gérard, 1948-
Berry, Gérard, 1948-...., informaticien Gérard Berry Berry, Gérard |
Personal | Bottom-up computation of recursive programs The chemical abstract machine = La machine abstraite chimique Compiling ESTEREL Computer aided verification : 13th International conference, CAV 2001, Paris, Fr ... |