Correct system design : recent insights and advances

Author(s)

• Olderog, E.-R.
• Steffen, Bernhard

Bibliographic Information

Correct system design : recent insights and advances

Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)

（Lecture notes in computer science, 1710）

Springer, c1999

Note

Includes bibliographical references

Includes index

• NCID: BA43522588
• ISBN:
  • 3540666249
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin
• Pages/Volumes: xiv, 415 p.
• Size: 24 cm
• Subject Headings:
  • LCSH : System design
  • LCSH : Computer systems -- Reliability
• Parent Bibliography ID:
  • BA00009279