The Formal description technique Estelle
by Michel Diaz, Jean-Pierre Ansart, Jean-Pierre Courtiat, Pierre Azema

No description available.
Electronic data processingDistributed processingSystem designESPRIT/SEDOS Project
by Michel Diaz, Jean-Pierre Ansart, Jean-Pierre Courtiat, Pierre Azema

No description available.