The Formal description technique Estelle : results of the ESPRIT SEDOS Project

Author(s)

• Diaz, Michel

Bibliographic Information

The Formal description technique Estelle : results of the ESPRIT SEDOS Project

edited by Michel Diaz ... [et al.]

North-Holland, 1989

Other Title

Estelle

Note

Includes index

Details

• NCID: BA06691597
• ISBN:
  • 0444871322
• LCCN: 88031026
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam ; Tokyo
• Pages/Volumes: 439 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.9.D5
  • DC19 : 005.1/2
• Subject Headings:
  • LCSH : Electronic data processing -- Distributed processing
  • LCSH : ESPRIT SEDOS Project
  • LCSH : System design