The Formal description technique Lotos : results of the ESPRIT/SEDOS Project

Author(s)

• Eijk, Peter H. J. van
• Vissers, Chris A.
• Diaz, Michel

Bibliographic Information

The Formal description technique Lotos : results of the ESPRIT/SEDOS Project

edited by Peter H.J. van Eijk, Chris A. Vissers, Michel Diaz

North-Holland , Sole distributors for the U.S.A. and Canada, Elsevier Science Pub., 1989

Note

Includes bibliographies

Details

• NCID: BA06991466
• ISBN:
  • 0444872671
• LCCN: 88037407
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam ; New York,New York, N.Y.
• Pages/Volumes: x, 451 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.9.D5
  • DC19 : 004/.36
• Subject Headings:
  • LCSH : Electronic data processing -- Distributed processing
  • LCSH : ESPRIT/SEDOS Project
  • LCSH : System design